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