search_specificationsSearch across 3GPP and IETF specification documents using full-text search. Returns ranked results with content previews.
semantic_searchPerform semantic search using vector embeddings with FAISS acceleration for better conceptual matching.
get_document_contentRetrieve specific content from a specification document by filename, with optional page range and section filtering.
list_documentsList available specification documents with filtering options.
get_database_statsGet comprehensive database and system statistics including document counts, search capabilities, and performance metrics.
search_contributionsSearch 3GPP contribution documents by various criteria including document number, working group, meeting, work item, and agenda item.
get_contribution_contentGet the full content of a 3GPP contribution document by its document number.
semantic_search_contributionsPerform semantic search on 3GPP contribution documents using FAISS-accelerated vector similarity search.
No proxied traffic observed for this host yet. Connect it at /connect and its grade gains a measured Reliability score + per-tool behavioral evidence — the half a static scan can't produce.
We re-grade mcp.specproof.ai on a schedule and alert your Slack/webhook the moment its tools change or its grade drops — rug-pull insurance for the connection.
Add the wmcp.sh trust oracle as an MCP server and call grade_mcp_server / check_mcp_drift in your agent's pre-connection gate:
https://wmcp.sh/mcp/trust
readOnly vs observed behavior) layer on via the wmcp.sh proxy.