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