get_proof_summary — Hunter Killer MCP Tool Read-only
get_proof_summary
(get proof summary) is one of 18 tools on the
Hunter Killer
MCP server. Connect the server and your client discovers it on the handshake.
by client
How to call get_proof_summary from your client
- Claude Code Hunter Killer get_proof_summary run in your project directory
- Claude Desktop Hunter Killer get_proof_summary ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor Hunter Killer get_proof_summary ~/.cursor/mcp.json
- VS Code Hunter Killer get_proof_summary .vscode/mcp.json
- Zed Hunter Killer get_proof_summary ~/.config/zed/settings.json
- Windsurf Hunter Killer get_proof_summary ~/.codeium/windsurf/mcp_config.json
- Cline Hunter Killer get_proof_summary ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI Hunter Killer get_proof_summary ~/.gemini/settings.json
- Grok Hunter Killer get_proof_summary .mcp.json (in your project root)
- ChatGPT Hunter Killer get_proof_summary Settings → Connectors → Advanced → Developer mode
- Claude.ai Hunter Killer get_proof_summary Settings → Connectors → Add custom connector
- LangChain Hunter Killer get_proof_summary pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http hunterkiller https://hunterkiller.io/mcpOther tools on this server
This list was read from the server itself, by connecting to it and calling tools/list on 14 November 2026. It is what
the server actually exposes, not what its listing claims.
Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.