Windsurf SpecProof diff_spec_versions
How to: Windsurf SpecProof diff_spec_versions
Add SpecProof to Windsurf
-
01
Open ~/.codeium/windsurf/mcp_config.json and merge this in. Keep any servers already there.
{
"mcpServers": {
"specproof-mcp": {
"serverUrl": "https://mcp.specproof.ai/"
}
}
}-
02
Save the file and restart Windsurf.
-
03
Ask for something diff_spec_versions does. Windsurf lists the server's tools on connect and calls diff_spec_versions itself — you do not invoke it by name.
-
04
If nothing happens, check the server is running and that SpecProof's identifier in your config matches the one above exactly.
Global only — Windsurf has no per-project MCP config. Refresh Cascade after saving. Windsurf docs
Same tool, other clients
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.