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