ai.specproof/specproof-mcp

up checked 2026-11-11T04:38:31.672Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

SpecProof

Publisher-provided description

SpecProof: Search standards specs with MCP-ready precision.

Summary by lookupd

Searches 3GPP and IETF standards, extracts normative requirements, diffs spec versions, and generates conformance tests with citations.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http specproof https://mcp.specproof.ai/

Codex, remote (streamable-http)

codex mcp add specproof --url https://mcp.specproof.ai/

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "specproof": {
      "url": "https://mcp.specproof.ai/"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (17 tools)

Publisher-provided text

• get_spec_references Get all specifications referenced by a given spec. Args: spec_number: Specification number (e.g., "23.501", "26.230") reference
• get_spec_dependents Get all specifications that reference a given spec (reverse lookup). Args: spec_number: Specification number to find dependents of
• get_relationship_graph Get a relationship graph centered on a specification, expanding N hops. Returns JSON with nodes and edges suitable for graph visualization. Eac
• get_spec_metadata Get enriched metadata for specifications with filtering. Args: spec_number: Filter by spec number (partial match) series: Filte
• get_most_referenced_specs Get the most referenced (most important) specifications ranked by incoming reference count. Args: doc_type: Filter by "3gpp" or "ietf"
• 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_typ
• semantic_search Perform semantic search using vector embeddings with FAISS acceleration. Args: query: Natural language search query (required) max_resu
• get_document_content Get specific content from a specification document. Args: filename: Document filename (required) page_range: Page range like "10-15" or
• list_documents List available specification documents. Args: doc_type: Filter by document type - "3gpp", "ietf", or "mpeg" (optional) search_pattern:
• get_requirements List normative requirements (RFC 2119 / BCP 14 "shall/should/may" statements) extracted from specifications, each cited back to its source clause. Args
• generate_tests Generate a cited, runnable conformance test that verifies one normative requirement. The test is grounded in the requirement sentence plus its surrounding
• 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
• 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
• 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,
• 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 n
• get_database_stats Get comprehensive database and system statistics.

Details

• Version: 1.0.0
• Transports: streamable-http
• Uptime (7 days): 100%
• Median latency: 397 ms
• First indexed: 2026-11-01T08:50:59.886Z
• Last seen in registry: 2026-11-01T08:50:59.886Z
• Repository: https://github.com/ibouazizi/specproof.git
• Website: https://specproof.ai

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/ai.specproof/specproof-mcp.svg)](https://lookupd.com/servers/ai.specproof/specproof-mcp)

• 62033 servers
• Last crawl: 2026-11-11T15:38:39.561Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp