Back to search
100
MCP live v1.0.0 MCP 2025-11-25 streamable-http

SpecProof

ai.specproof/specproof-mcp

SpecProof: Search standards specs with MCP-ready precision.

Uptime
100.0%
1 direct probes · 30d
Response
816ms
last probe
Tools
17
callable
Resources
0
readable
Prompts
0
available
Primary URL
https://mcp.specproof.ai/

Tools · 17

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…

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…

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…

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…

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 …

get_series_overview

Get an overview of all specification series with document counts, reference statistics, and working group assignments.

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…

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…

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…

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 …

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…

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…

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 …

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…

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…

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.…

get_database_stats

Get comprehensive database and system statistics.

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "specproof": {
      "url": "https://mcp.specproof.ai/",
      "transport": "streamable-http"
    }
  }
}