SpecProof for Grok
ai.specproof/specproof-mcp
SpecProof: Search standards specs with MCP-ready precision.
client:Grok
transport:streamable-http
tools:17
Install SpecProof in Grok
.mcp.json (in your project root)
{
"mcpServers": {
"specproof-mcp": {
"type": "http",
"url": "https://mcp.specproof.ai/"
}
}
}Grok Build reads Claude Code's .mcp.json and Claude Desktop's config unchanged, so a server you have already set up there needs nothing new. The Grok web app and X integration do not take custom servers. Grok docs
What Grok 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