get_schema_definitions — SpecProof MCP Tool Read-only
get_schema_definitions
(get schema definitions) 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 get_schema_definitions from your client
- Claude Code SpecProof get_schema_definitions run in your project directory
- Claude Desktop SpecProof get_schema_definitions ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor SpecProof get_schema_definitions ~/.cursor/mcp.json
- VS Code SpecProof get_schema_definitions .vscode/mcp.json
- Zed SpecProof get_schema_definitions ~/.config/zed/settings.json
- Windsurf SpecProof get_schema_definitions ~/.codeium/windsurf/mcp_config.json
- Cline SpecProof get_schema_definitions ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI SpecProof get_schema_definitions ~/.gemini/settings.json
- Grok SpecProof get_schema_definitions .mcp.json (in your project root)
- ChatGPT SpecProof get_schema_definitions Settings → Connectors → Advanced → Developer mode
- Claude.ai SpecProof get_schema_definitions Settings → Connectors → Add custom connector
- LangChain SpecProof get_schema_definitions 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
- diff_spec_versions
- 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.