The SpecProof MCP server,
connected in one click.
SpecProof: Search standards specs with MCP-ready precision. Connect the official SpecProof MCP server to Claude, ChatGPT, or Cursor through gate — one gateway URL, no config files, security-checked.
Free to start · No credit card · No hosting needed
What your AI can do with SpecProof
Real prompts you can type the moment it's connected — no setup, no docs to read.
“Use “get_spec_references”: Get all specifications referenced by a given spec. Args: spec_number: Specification number (e.g., "23.501", "26.230").”
“Use “get_spec_dependents”: Get all specifications that reference a given spec (reverse lookup). Args: spec_number: Specification number to find de.”
“Use “get_relationship_graph”: Get a relationship graph centered on a specification, expanding N hops. Returns JSON with nodes and edges suitable for graph visual.”
“Use “get_spec_metadata”: Get enriched metadata for specifications with filtering. Args: spec_number: Filter by spec number (partial match).”
How secure is the SpecProof MCP server?
Every server in the gate directory has to pass the same four checks before your AI can touch it. Here's how SpecProof holds up.
Official endpoint
Operated by SpecProof (specproof.ai) at its documented MCP endpoint — not a third-party mirror or community re-host.
No sign-in needed
This server only exposes public data — no account and no credentials are involved when you connect.
Scanned before it goes live
gate checks every tool for prompt injection, hidden instructions, data-exfiltration hints, and over-broad permissions before the server is available through your gateway.
Watched for drift
If SpecProof adds or changes tools later, gate re-scans and alerts you — before your AI acts on the change.
Connected in three steps
Connect your gate
Add one gateway URL to Claude, ChatGPT, or any MCP client. One-time setup, about two minutes.
Pick SpecProof
Choose SpecProof in the gate directory. No sign-in needed.
Use it anywhere
SpecProof's tools are live in every AI client you've connected — with rules and logging built in.
Free to start · No credit card · No hosting needed
The actual tools SpecProof exposes
Fetched live from the official endpoint and re-checked daily by gate — not marketing copy.
get_spec_references — Get all specifications referenced by a given spec. Args: spec_number: Specification number (e.g., "23.501", "26.230")
get_spec_dependents — Get all specifications that reference a given spec (reverse lookup). Args: spec_number: Specification number to find de
get_relationship_graph — Get a relationship graph centered on a specification, expanding N hops. Returns JSON with nodes and edges suitable for graph visual
get_spec_metadata — Get enriched metadata for specifications with filtering. Args: spec_number: Filter by spec number (partial match)
get_most_referenced_specs — Get the most referenced (most important) specifications ranked by incoming reference count. Args: doc_type: Filter by "
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 (requi
semantic_search — Perform semantic search using vector embeddings with FAISS acceleration. Args: query: Natural language search query (requir
+ 9 more tools once connected
The SpecProof MCP server at a glance
https://mcp.specproof.ai/Questions, answered
Is there an official SpecProof MCP server?
Yes — SpecProof operates its own remote MCP server at mcp.specproof.ai. gate connects you to that official endpoint and adds security scanning, per-tool access rules, and an activity log on top.
How do I connect SpecProof to Claude or ChatGPT?
Add gate's gateway URL to your AI client once, then pick SpecProof in the directory. No account or sign-in is needed. From then on, SpecProof's tools are available in every client you've connected to gate.
Do I need to host anything?
No. SpecProof runs the server, and gate is fully managed. You just connect one URL — there's nothing to install, deploy, or maintain.
Is the SpecProof MCP server safe to connect?
It's the vendor's official endpoint, and gate scans its tools for prompt injection and hidden instructions before it goes live, re-checks it whenever it changes, and lets you allow, block, or require approval for every single tool.
Is it free?
Yes — you can get started with gate for free and connect SpecProof in minutes. No credit card required.
Connect more than just SpecProof
Every server below works through the same gateway URL — connect once, add tools anytime.
Squarespace DomainsDesignView →Set up SpecProof in: Claude · Claude Code · ChatGPT · Cursor · VS Code