Tools
Servers that provide IDA_MCP_MAX_WORKERS
2 MCP servers expose a tool named IDA_MCP_MAX_WORKERS. Use this when an agent already knows the tool it wants.
rpctools/call
{ "jsonrpc": "2.0", "id": 1, "method": "tools/call", "params": {Tools
2 MCP servers expose a tool named IDA_MCP_MAX_WORKERS. Use this when an agent already knows the tool it wants.
{ "jsonrpc": "2.0", "id": 1, "method": "tools/call", "params": {