INDIVIDUAL MCP TOOL

diff_spec_versions

Diff two versions of a specification at the NORMATIVE level: which requirements were added, removed, or reworded.

specproof.ainone authenticationAvailability not checked

Input schema

{}

Inferred read-only · medium confidence · heuristic, not a guarantee.

No write-capable action terms were found; this is not proof that invocation has no side effects.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.3gpp-spec-server]
url = "https://mcp.specproof.ai"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "3gpp-spec-server": {
      "type": "http",
      "url": "https://mcp.specproof.ai"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: 3gpp-spec-server
Remote MCP URL: https://mcp.specproof.ai

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "3gpp-spec-server": {
      "url": "https://mcp.specproof.ai"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

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

Generic MCP

Client-specific MCP configuration

{
  "name": "3gpp-spec-server",
  "transport": "streamable-http",
  "url": "https://mcp.specproof.ai"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

get_spec_references — Get all specifications referenced by a given spec.
get_spec_dependents — Get all specifications that reference a given spec (reverse lookup).
get_relationship_graph — Get a relationship graph centered on a specification, expanding N hops.
get_spec_metadata — Get enriched metadata for specifications with filtering.
get_most_referenced_specs — Get the most referenced (most important) specifications ranked by incoming reference count.
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.
semantic_search — Perform semantic search using vector embeddings with FAISS acceleration.