SpecProof MCP MCP server

An official MCP server by SpecProof that enables AI assistants to search, retrieve, and analyze technical specifications from standards bodies like 3GPP, IETF, and MPEG. It supports full-text, semantic, and graph-based searches, document retrieval, and corpus statistics to help agents answer normative questions and compare releases across different standards.

Endpoint and access

No sign-in: your client connects and lists tools immediately, with no account or key.

No sign-inEndpoint checked 2026-10-05Operated by SpecProof

MCP endpoint (Streamable HTTP)

https://mcp.specproof.ai/

Vendor documentation

What you can do with it

Search 3GPP and IETF specifications using full-text or semantic queries
Retrieve verbatim text of specific documents or sections
Compare technical changes across different specification releases
Cross-reference clauses between IETF RFCs and 3GPP TS documents

Tools advertised by the last live check:

get_spec_references
get_spec_dependents
get_relationship_graph
get_spec_metadata
get_most_referenced_specs
get_series_overview
search_specifications
semantic_search
get_document_content
list_documents
get_requirements
generate_tests
diff_spec_versions
get_schema_definitions
get_rfc_lineage
build_cross_spec_suite
get_database_stats

Connect from your client

Each snippet registers the same endpoint; pick the client you use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Claude Code

Run this once in a terminal. It registers a Streamable HTTP server. Use --scope project to write .mcp.json for the repo.

Claude Code configuration

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

Codex

Run this once. Codex stores MCP servers in ~/.codex/config.toml (or .codex/config.toml in a trusted project).

Codex configuration

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

Cursor

Merge this server into .cursor/mcp.json in your project, then enable specproof-mcp in your MCP settings.

Cursor configuration

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

Cline

Merge this into cline_mcp_settings.json (Cline → MCP Servers → Configure). The type must be streamableHttp for a remote HTTP server.

Cline configuration

{
  "mcpServers": {
    "specproof-mcp": {
      "type": "streamableHttp",
      "url": "https://mcp.specproof.ai/",
      "disabled": false
    }
  }
}

VS Code

Merge this server into .vscode/mcp.json. Use MCP: List Servers to start specproof-mcp and inspect its tools.

VS Code configuration

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

Gemini CLI

Run this once. It writes .gemini/settings.json in the current project; pass --scope user for ~/.gemini/settings.json.

Gemini CLI configuration

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

Claude Desktop

Merge this into claude_desktop_config.json (macOS: ~/Library/Application Support/Claude/, Windows: %APPDATA%\Claude\), then restart Claude Desktop.

Claude Desktop configuration

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

Windsurf

Merge this into ~/.codeium/windsurf/mcp_config.json, then refresh MCP in Cascade. Windsurf remote servers use serverUrl, not url.

Windsurf configuration

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

See all 248

Do you run SpecProof MCP?

Prove ownership with a DNS record, a well-known file, or your Official MCP Registry entry, and your edits publish immediately. Proofs are re-checked weekly; admins can still hide or remove a listing.

Claim this listing