servers / specproof
SpecProof MCP server
communitystreamable_httpremoteunknownhealthy
SpecProof: Search standards specs with MCP-ready precision.
01Tools · 8
| Tool | Risk | Side effects | Approval |
|---|---|---|---|
| search_specifications Search across 3GPP and IETF specification documents using full-text search. Returns ranked results with content previews. | read | false | unknown |
| semantic_search Perform semantic search using vector embeddings with FAISS acceleration for better conceptual matching. | read | false | unknown |
| get_document_content Retrieve specific content from a specification document by filename, with optional page range and section filtering. | unknown | unknown | unknown |
| list_documents List available specification documents with filtering options. | read | false | unknown |
| get_database_stats Get comprehensive database and system statistics including document counts, search capabilities, and performance metrics. | read | false | unknown |
| search_contributions Search 3GPP contribution documents by various criteria including document number, working group, meeting, work item, and agenda item. | read | false | unknown |
| get_contribution_content Get the full content of a 3GPP contribution document by its document number. | read | false | unknown |
| semantic_search_contributions Perform semantic search on 3GPP contribution documents using FAISS-accelerated vector similarity search. | read | false | unknown |
02Install & source
https://mcp.specproof.ai/
remote_url05Provenance & freshness
sourcesOfficial MCP Registry [p1]
last_checked2026-07-07 02:50Z
next_check2026-07-09 02:40Z
cadenceevery 48h
verifiedtools_list:passed handshake:passed metadata:passed
index_statusindex — 5 unique facts >= 5
06Badge
Add the “as seen on MCPExplorer” badge to your README. 
[](https://mcpexplorer.com/servers/specproof)
Next step
This is one server. A loadout combines the right servers, governance, and proven plays for a whole job — assembled deliberately, not tool-dumped.
Explore loadouts →