diff_spec_versions — SpecProof MCP Tool
diff_spec_versions
(diff spec versions) is one of 17 tools on the
SpecProof
MCP server. Connect the server and your client discovers it on the handshake.
by client
How to call diff_spec_versions from your client
- Claude Code SpecProof diff_spec_versions run in your project directory
- Claude Desktop SpecProof diff_spec_versions ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor SpecProof diff_spec_versions ~/.cursor/mcp.json
- VS Code SpecProof diff_spec_versions .vscode/mcp.json
- Zed SpecProof diff_spec_versions ~/.config/zed/settings.json
- Windsurf SpecProof diff_spec_versions ~/.codeium/windsurf/mcp_config.json
- Cline SpecProof diff_spec_versions ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI SpecProof diff_spec_versions ~/.gemini/settings.json
- Grok SpecProof diff_spec_versions .mcp.json (in your project root)
- ChatGPT SpecProof diff_spec_versions Settings → Connectors → Advanced → Developer mode
- Claude.ai SpecProof diff_spec_versions Settings → Connectors → Add custom connector
- LangChain SpecProof diff_spec_versions pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http specproof-mcp https://mcp.specproof.ai/Other tools on this server
- get_spec_references
- get_spec_dependents
- get_relationship_graph
- get_spec_metadata
- get_most_referenced_specs
- get_series_overview
- search_specifications
- semantic_search
- get_document_content
- list_documents
- get_requirements
- generate_tests
- get_schema_definitions
- get_rfc_lineage
- build_cross_spec_suite
- get_database_stats
This list was read from the server itself, by connecting to it and calling tools/list on 24 September 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.