TURN 1 Discover the MCP servers repro and switchable. Call their proof_ping tools through MCP and report each exact result. Do not use a shell, file tools, or change any files or configuration. If unavailable, report that; do not repair anything. TURN 2 (after disabling switchable) The switchable MCP server is now disabled in Cursor project state. Discover the tools again and call repro proof_ping. Also attempt switchable proof_ping if it is still advertised. Report actual results or unavailability for both. Do not use shell or file tools and do not edit or repair anything.