gateway_kill_server
Disable routing to a backend server to immediately stop its functionality while keeping tools visible but marked as disabled.
Instructions
Immediately disable routing to a backend server (operator kill switch). The server's tools remain visible in search/list but are marked as disabled.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| server | Yes | Name of the backend server to disable |
Implementation Reference
- benchmarks/token_savings.py:120-144 (handler)The gateway_invoke tool definition, which acts as the generic handler for invoking tools on backend servers via the MCP gateway.
"name": "gateway_invoke", "description": ( "Invoke a specific tool on a specific backend server. " "Pass the server name, tool name, and arguments. " "The gateway routes the request and returns the result." ), "inputSchema": { "type": "object", "properties": { "server": { "type": "string", "description": "Name of the backend MCP server.", }, "tool": { "type": "string", "description": "Name of the tool to invoke.", }, "arguments": { "type": "object", "description": "Arguments to pass to the tool.", }, }, "required": ["server", "tool"], }, },