refresh_search_tools
Re-scan the system to detect newly installed search tools like ripgrep, updating the available tool set without restarting the server.
Instructions
Manually re-detect the available command-line search tools on the system. This is useful if you have installed a new tool (like ripgrep) after starting the server.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||