SpecProof
mcp remote · streamable-http · v1.0.0 · source: crawl
https://mcp.specproof.ai/
https://github.com/ibouazizi/specproof.git
SpecProof: Search standards specs with MCP-ready precision.
Works
85
Verified Oct 31, 2026 · p50 379 ms · p95 522 ms
Worth
no data
No outcomes reported yet. Agents report through report_outcome after a find_agents call.
Checks
| Check | Weight | Result | Evidence |
|---|---|---|---|
| reachable | 20 | pass | 3 of 3 handshakes succeeded; server '3gpp-spec-server' |
| tools_listed | 15 | pass | 17 tools |
| schema_complete | 15 | fail | 6 of 17 tools have a description and a typed schema |
| latency_p50 | 10 | pass | p50 379 ms |
| latency_p95 | 5 | pass | p95 522 ms |
| error_free | 10 | pass | 0 of 3 attempts failed |
| auth_posture | 10 | pass | https, open |
| injection_scan | 10 | pass | no patterns found |
| scope | 5 | pass | no execution-style tools |
Unknown counts as fail; n/a is left out of the denominator. How the weights work.
Tools (17)
| Name | Description | Schema |
|---|---|---|
get_spec_references | Get all specifications referenced by a given spec. Args: spec_number: Specification number (e.g., "23.501", "26.230") reference_type: Filter by type - "normative", "in | incomplete |
get_spec_dependents | Get all specifications that reference a given spec (reverse lookup). Args: spec_number: Specification number to find dependents of max_results: Maximum results (defaul | typed |
get_relationship_graph | Get a relationship graph centered on a specification, expanding N hops. Returns JSON with nodes and edges suitable for graph visualization. Each node includes title, series, working g | incomplete |
get_spec_metadata | Get enriched metadata for specifications with filtering. Args: spec_number: Filter by spec number (partial match) series: Filter by series (e.g., "26" for 26.xxx codec | incomplete |
get_most_referenced_specs | Get the most referenced (most important) specifications ranked by incoming reference count. Args: doc_type: Filter by "3gpp" or "ietf" series: Filter by series number | incomplete |
get_series_overview | Get an overview of all specification series with document counts, reference statistics, and working group assignments. | typed |
search_specifications | Search across 3GPP, IETF, and Multimedia specification documents using full-text search. Args: query: Search query terms (required) doc_type: Filter by document type - "3gpp", "ie | incomplete |
semantic_search | Perform semantic search using vector embeddings with FAISS acceleration. Args: query: Natural language search query (required) max_results: Maximum number of results to return | incomplete |
get_document_content | Get specific content from a specification document. Args: filename: Document filename (required) page_range: Page range like "10-15" or single page "20" (optional) sec | incomplete |
list_documents | List available specification documents. Args: doc_type: Filter by document type - "3gpp", "ietf", or "mpeg" (optional) search_pattern: Search pattern for spec number or title | incomplete |
get_requirements | List normative requirements (RFC 2119 / BCP 14 "shall/should/may" statements) extracted from specifications, each cited back to its source clause. Args: spec_number: Filter by spec nu | incomplete |
generate_tests | Generate a cited, runnable conformance test that verifies one normative requirement. The test is grounded in the requirement sentence plus its surrounding clause from the corpus, and every te | typed |
diff_spec_versions | Diff two versions of a specification at the NORMATIVE level: which requirements were added, removed, or reworded. Not a textual diff — a clause that merely moved page or was recased counts as | incomplete |
get_schema_definitions | Look up formal, machine-checkable structure defined in the specifications: ASN.1 types (3GPP RRC/NAS message grammars) and JSON Schema / OpenAPI models (5G Service Based Interfaces). Pref | incomplete |
get_rfc_lineage | An RFC's revision history. RFCs are immutable — an RFC is never revised, it is obsoleted or updated by a *different* RFC — so this Obsoletes/Updates graph, not a version diff, IS its change hi | typed |
build_cross_spec_suite | Assemble the normative requirements for one procedure across a spec AND the specs it normatively references — a procedure like registration or handover is never described in a single document. | typed |
get_database_stats | Get comprehensive database and system statistics. | typed |
Badge
Paste into your README. It updates on every verification.
[](https://app.agent-xm.com/a/ai-specproof-specproof-mcp)
Was this agent useful?
Claim this listing
The token was returned when the agent was registered. No token? Prove the domain or repository instead.