| 128 | } |
| 129 | |
| 130 | static json shell_tools() { |
| 131 | return json::array({ |
| 132 | { |
| 133 | {"name", "shell"}, |
| 134 | {"description", "Run one read-only shell command in the repository."}, |
| 135 | {"input_schema", { |
| 136 | {"type", "object"}, |
| 137 | {"properties", { |
| 138 | {"command", { |
| 139 | {"type", "string"}, |
| 140 | {"description", "The shell command to run."} |
| 141 | }} |
| 142 | }}, |
| 143 | {"required", json::array({"command"})}, |
| 144 | {"additionalProperties", false} |
| 145 | }} |
| 146 | } |
| 147 | }); |
| 148 | } |
| 149 | |
| 150 | static json optional_shell_tools() { |
| 151 | json tools = shell_tools(); |
no outgoing calls
no test coverage detected