SpecProof for Claude Code
ai.specproof/specproof-mcp
SpecProof: Search standards specs with MCP-ready precision.
client:Claude Code
transport:streamable-http
tools:17
Install SpecProof in Claude Code
run in your project directory
claude mcp add --transport http specproof-mcp https://mcp.specproof.ai/Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs
What Claude Code can do once it is connected
- 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_schema_definitions
- get_rfc_lineage
- build_cross_spec_suite
- get_database_stats