| 698 | // |
| 699 | |
| 700 | static std::vector<std::unique_ptr<server_tool>> build_tools() { |
| 701 | std::vector<std::unique_ptr<server_tool>> tools; |
| 702 | tools.push_back(std::make_unique<server_tool_read_file>()); |
| 703 | tools.push_back(std::make_unique<server_tool_file_glob_search>()); |
| 704 | tools.push_back(std::make_unique<server_tool_grep_search>()); |
| 705 | tools.push_back(std::make_unique<server_tool_exec_shell_command>()); |
| 706 | tools.push_back(std::make_unique<server_tool_write_file>()); |
| 707 | tools.push_back(std::make_unique<server_tool_edit_file>()); |
| 708 | tools.push_back(std::make_unique<server_tool_apply_diff>()); |
| 709 | return tools; |
| 710 | } |
| 711 | |
| 712 | void server_tools::setup(const std::vector<std::string> & enabled_tools) { |
| 713 | if (!enabled_tools.empty()) { |