Navigation into the Tools category's per-tool list. Shared here because the lists that link to it are
spread across packages (an agent's used tools in @theia/ai-ide, a server's tools in @theia/ai-mcp)
while the page itself lives in @theia/ai-ide, which those packages cannot all import.
Navigation into the Tools category's per-tool list. Shared here because the lists that link to it are spread across packages (an agent's used tools in
@theia/ai-ide, a server's tools in@theia/ai-mcp) while the page itself lives in@theia/ai-ide, which those packages cannot all import.