get_proof_status — ProofCore MCP Tool Read-only
get_proof_status
(get proof status) is one of 4 tools on the
ProofCore
MCP server. Connect the server and your client discovers it on the handshake.
by client
How to call get_proof_status from your client
- Claude Code ProofCore get_proof_status run in your project directory
- Claude Desktop ProofCore get_proof_status ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor ProofCore get_proof_status ~/.cursor/mcp.json
- VS Code ProofCore get_proof_status .vscode/mcp.json
- Zed ProofCore get_proof_status ~/.config/zed/settings.json
- Windsurf ProofCore get_proof_status ~/.codeium/windsurf/mcp_config.json
- Cline ProofCore get_proof_status ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI ProofCore get_proof_status ~/.gemini/settings.json
- Grok ProofCore get_proof_status .mcp.json (in your project root)
- ChatGPT ProofCore get_proof_status Settings → Connectors → Advanced → Developer mode
- Claude.ai ProofCore get_proof_status Settings → Connectors → Add custom connector
- LangChain ProofCore get_proof_status pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http proofcore-mcp https://mcp.proofcore.org/mcpOther tools on this server
This list was read from the server itself, by connecting to it and calling tools/list on 11 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.