MCP server

SpecProof Official

ai.specproof/specproof-mcp

Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools

SpecProof: Search standards specs with MCP-ready precision.

Website Source

At a glance

Type

MCP server

Publisher

specproof.ai (verified by the MCP Registry)

Status

Working at last check

Tools

17

Token cost

About 3,701 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

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

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.specproof-mcp]
url = "https://mcp.specproof.ai/"

Gemini CLI

{"mcpServers":{"specproof-mcp":{"httpUrl":"https://mcp.specproof.ai/"}}}

Cursor

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

VS Code

{"servers":{"specproof-mcp":{"type":"http","url":"https://mcp.specproof.ai/"}}}

Antigravity

agy mcp add specproof-mcp https://mcp.specproof.ai/

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"specproof-mcp","server_url":"https://mcp.specproof.ai/","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"specproof-mcp","server_url":"https://mcp.specproof.ai/"}

Tools

• build_cross_spec_suite ~296 tokens
  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. Returns a cited suite plan; feed the requirement_ids to generate_tests. Args: spec_bas
• diff_spec_versions ~356 tokens
  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 unchanged. Args: spec_base: Spec identity without the version, e.g. "38331" or "23501"
• generate_tests ~256 tokens
  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 test cites the spec, section and page it enforces. If the requirement is not testable (boilerplate
• get_database_stats ~52 tokens
  Get comprehensive database and system statistics.
• get_document_content ~184 tokens
  Get specific content from a specification document. Args: filename: Document filename (required) page_range: Page range like "10-15" or single page "20" (optional) section: Section title filter (optional)
• get_most_referenced_specs ~185 tokens
  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 limit: Maximum results (default: 20)
• get_relationship_graph ~261 tokens
  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 group, and reference counts. Each edge includes source, target, reference type, and count.
• get_requirements ~284 tokens
  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 number, e.g. "23.501" or "RFC 9110" (optional) obligation: Filter by strength - "must", "must_
• get_rfc_lineage ~156 tokens
  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 history. Use it to find out whether an RFC you depend on has been superseded. Args: rfc:
• get_schema_definitions ~337 tokens
  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). Prefer this over prose search when the question is about a message's *structure* — field names, type
• get_series_overview ~73 tokens
  Get an overview of all specification series with document counts, reference statistics, and working group assignments.
• get_spec_dependents ~144 tokens
  Get all specifications that reference a given spec (reverse lookup). Args: spec_number: Specification number to find dependents of max_results: Maximum results (default: 50)
• get_spec_metadata ~277 tokens
  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 codecs) working_group: Filter by working group (e.g., "SA4") doc_class: Filter by
• get_spec_references ~164 tokens
  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", "informative", "inline" (optional)
• list_documents ~191 tokens
  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 (optional) limit: Maximum number of results (default: 20, max: 100)
• search_specifications ~242 tokens
  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", "ietf", or "mpeg" (optional) spec_number: Filter by specification number (optional) ma
• semantic_search ~243 tokens
  Perform semantic search using vector embeddings with FAISS acceleration. Args: query: Natural language search query (required) max_results: Maximum number of results to return (default: 5, max: 20) similarity_threshold: Minimum similarity threshold 0.0-1.0 (default:

Browse

• OpenAPI tools
• Databases
• APIs and testing
• Searching your documents (RAG)
• Government and public data

Related MCP servers

• Ieee Standards
  IEEE Xplore MCP — BYOK wrapper over the IEEE Xplore Metadata Search API
• Precision-concretecoating
  Precision Concrete Coating MCP for services, estimates, scheduling, and business information.
• W3c
  W3C MCP — web-standards lookup over w3c/browser-specs (GitHub, CF-reachable).
• AwardTape
  Search DoD and DHS prime contract awards since FY2024, company profiles and daily contract releases.
• Feode
  FEODE: AI-accessible precision machining & testing; offshore P&A, subsea wellhead, drill-pipe
• WIA Standards
  Search WIA's own voluntary standards (not ISO/IEC/ITU) and read their specification files.
• Quantum Artificer
  Scientific compute for AI agents: symbolic, numerical, quantum, chemistry, ODE. Paid via x402.
• Agent Ready
  Scan any URL for AI agent readability — Vercel Spec, llmstxt.org, and agent-protocol manifests.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/ai.specproof/specproof-mcp.svg)](https://aptlynx.net/servers/ai.specproof/specproof-mcp)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents