SpecProof for Windsurf
ai.specproof/specproof-mcp
SpecProof: Search standards specs with MCP-ready precision.
client:Windsurf
transport:streamable-http
tools:17
Install SpecProof in Windsurf
~/.codeium/windsurf/mcp_config.json · windows: %USERPROFILE%\.codeium\windsurf\mcp_config.json
{
"mcpServers": {
"specproof-mcp": {
"serverUrl": "https://mcp.specproof.ai/"
}
}
}
Global only — Windsurf has no per-project MCP config. Refresh Cascade after saving. Windsurf docs
What Windsurf 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