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