SpecProof

Official16 toolsLive

by specproof

SpecProof: Search standards specs with MCP-ready precision.

Model Context Protocol (MCP) Server: ai.specproof/specproof-mcp

This MCP server, ai.specproof/specproof-mcp, is described as SpecProof and focuses on searching standards specs with MCP-ready precision. The repository information provided includes its name, description, and a toolCount of 16, indicating multiple MCP tools are available for interacting with the server’s capabilities.

🛠️ Key Features

Server name: ai.specproof/specproof-mcp
Purpose: search standards specs
Description: MCP-ready precision
Tooling: 16 tools

🚀 Use Cases

Searching within standards specification documents

⚡ Developer Benefits

Multiple tools (16) exposed via MCP for spec search workflows

⚠️ Limitations

No additional details (e.g., specific tools, inputs/outputs, supported standards, or constraints) are provided in the available source data.

Captured live from the server via tools/list.

get_spec_references

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)

Parameters2

spec_number	string	required
reference_type	any	optional

Raw schema

{
  "type": "object",
  "properties": {
    "spec_number": {
      "title": "Spec Number",
      "type": "string"
    },
    "reference_type": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Reference Type"
    }
  },
  "required": [
    "spec_number"
  ],
  "title": "get_spec_referencesArguments"
}

get_spec_dependents

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)

Parameters2

spec_number	string	required
max_results	integer	optional

Raw schema

{
  "type": "object",
  "properties": {
    "spec_number": {
      "title": "Spec Number",
      "type": "string"
    },
    "max_results": {
      "default": 50,
      "title": "Max Results",
      "type": "integer"
    }
  },
  "required": [
    "spec_number"
  ],
  "title": "get_spec_dependentsArguments"
}

get_relationship_graph

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. Args: spec_number: Center specification number depth: Number of hops to expand (1-3, default: 1) reference_type: Filter by type - "normative", "informative" (optional)

Parameters3

spec_number	string	required
depth	integer	optional
reference_type	any	optional

Raw schema

{
  "type": "object",
  "properties": {
    "spec_number": {
      "title": "Spec Number",
      "type": "string"
    },
    "depth": {
      "default": 1,
      "title": "Depth",
      "type": "integer"
    },
    "reference_type": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Reference Type"
    }
  },
  "required": [
    "spec_number"
  ],
  "title": "get_relationship_graphArguments"
}

get_spec_metadata

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 document class - "TS" or "TR" limit: Maximum results (default: 50)

Parameters5

spec_number	any	optional
series	any	optional
working_group	any	optional
doc_class	any	optional
limit	integer	optional

Raw schema

{
  "type": "object",
  "properties": {
    "spec_number": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Spec Number"
    },
    "series": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Series"
    },
    "working_group": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Working Group"
    },
    "doc_class": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Doc Class"
    },
    "limit": {
      "default": 50,
      "title": "Limit",
      "type": "integer"
    }
  },
  "title": "get_spec_metadataArguments"
}

get_most_referenced_specs

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)

Parameters3

doc_type	any	optional
series	any	optional
limit	integer	optional

Raw schema

{
  "type": "object",
  "properties": {
    "doc_type": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Doc Type"
    },
    "series": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Series"
    },
    "limit": {
      "default": 20,
      "title": "Limit",
      "type": "integer"
    }
  },
  "title": "get_most_referenced_specsArguments"
}

get_series_overview

Get an overview of all specification series with document counts, reference statistics, and working group assignments.

Parameters

No parameters.

Raw schema

{
  "type": "object",
  "properties": {},
  "title": "get_series_overviewArguments"
}

search_specifications

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) max_results: Maximum number of results to return (default: 10, max: 50)

Parameters4

query	string	required
doc_type	any	optional
spec_number	any	optional
max_results	integer	optional

Raw schema

{
  "type": "object",
  "properties": {
    "query": {
      "title": "Query",
      "type": "string"
    },
    "doc_type": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Doc Type"
    },
    "spec_number": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Spec Number"
    },
    "max_results": {
      "default": 10,
      "title": "Max Results",
      "type": "integer"
    }
  },
  "required": [
    "query"
  ],
  "title": "search_specificationsArguments"
}

semantic_search

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: 0.3) index_type: FAISS index type - "hnsw", "ivf", or "flat" (optional, auto-selected)

Parameters4

query	string	required
max_results	integer	optional
similarity_threshold	number	optional
index_type	any	optional

Raw schema

{
  "type": "object",
  "properties": {
    "query": {
      "title": "Query",
      "type": "string"
    },
    "max_results": {
      "default": 5,
      "title": "Max Results",
      "type": "integer"
    },
    "similarity_threshold": {
      "default": 0.3,
      "title": "Similarity Threshold",
      "type": "number"
    },
    "index_type": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Index Type"
    }
  },
  "required": [
    "query"
  ],
  "title": "semantic_searchArguments"
}

get_document_content

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)

Parameters3

filename	string	required
page_range	any	optional
section	any	optional

Raw schema

{
  "type": "object",
  "properties": {
    "filename": {
      "title": "Filename",
      "type": "string"
    },
    "page_range": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Page Range"
    },
    "section": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Section"
    }
  },
  "required": [
    "filename"
  ],
  "title": "get_document_contentArguments"
}

list_documents

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)

Parameters3

doc_type	any	optional
search_pattern	any	optional
limit	integer	optional

Raw schema

{
  "type": "object",
  "properties": {
    "doc_type": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Doc Type"
    },
    "search_pattern": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Search Pattern"
    },
    "limit": {
      "default": 20,
      "title": "Limit",
      "type": "integer"
    }
  },
  "title": "list_documentsArguments"
}

get_requirements

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_not", "should", "should_not", or "may" (optional) search: Keyword to search within the requirement text (optional) limit: Maximum number of requirements to return (default: 30, max: 100)

Parameters4

spec_number	any	optional
obligation	any	optional
search	any	optional
limit	integer	optional

Raw schema

{
  "type": "object",
  "properties": {
    "spec_number": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Spec Number"
    },
    "obligation": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Obligation"
    },
    "search": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Search"
    },
    "limit": {
      "default": 30,
      "title": "Limit",
      "type": "integer"
    }
  },
  "title": "get_requirementsArguments"
}

generate_tests

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, scope text), the generator abstains rather than inventing a test. Args: requirement_id: The requirement's id, as shown by get_requirements target: "pytest" for a runnable Python test module, or "gherkin" for a reviewable .feature file (default: pytest)

Parameters2

requirement_id	integer	required
target	string	optional

Raw schema

{
  "type": "object",
  "properties": {
    "requirement_id": {
      "title": "Requirement Id",
      "type": "integer"
    },
    "target": {
      "default": "pytest",
      "title": "Target",
      "type": "string"
    }
  },
  "required": [
    "requirement_id"
  ],
  "title": "generate_testsArguments"
}

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 moved page or was recased counts as unchanged. Args: spec_base: Spec identity without the version, e.g. "38331" or "23501" from_version: Older version label, e.g. "j20" (default: the second-newest in the corpus) to_version: Newer version label, e.g. "j30" (default: the newest in the corpus) obligation: Only report changes at this strength — "must", "must_not", "should", "should_not", "may" limit: Max requirements to list per bucket (default: 25)

Parameters5

spec_base	string	required
from_version	any	optional
to_version	any	optional
obligation	any	optional
limit	integer	optional

Raw schema

{
  "type": "object",
  "properties": {
    "spec_base": {
      "title": "Spec Base",
      "type": "string"
    },
    "from_version": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "From Version"
    },
    "to_version": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "To Version"
    },
    "obligation": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Obligation"
    },
    "limit": {
      "default": 25,
      "title": "Limit",
      "type": "integer"
    }
  },
  "required": [
    "spec_base"
  ],
  "title": "diff_spec_versionsArguments"
}

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, not a version diff, IS its change history. Use it to find out whether an RFC you depend on has been superseded. Args: rfc: The RFC, e.g. "7231", "rfc7231" or "RFC 7231"

Parameters1

rfc

string

required

Raw schema

{
  "type": "object",
  "properties": {
    "rfc": {
      "title": "Rfc",
      "type": "string"
    }
  },
  "required": [
    "rfc"
  ],
  "title": "get_rfc_lineageArguments"
}

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 never described in a single document. Returns a cited suite plan; feed the requirement_ids to generate_tests. Args: spec_base: The anchor spec, e.g. "23502" or "38331" keyword: The procedure/topic, e.g. "registration", "handover", "authentication" include_references: Also pull matching clauses from specs this one references (default: True) limit: Max requirements in the plan (default: 20, max: 50)

Parameters4

spec_base	string	required
keyword	string	required
include_references	boolean	optional
limit	integer	optional

Raw schema

{
  "type": "object",
  "properties": {
    "spec_base": {
      "title": "Spec Base",
      "type": "string"
    },
    "keyword": {
      "title": "Keyword",
      "type": "string"
    },
    "include_references": {
      "default": true,
      "title": "Include References",
      "type": "boolean"
    },
    "limit": {
      "default": 20,
      "title": "Limit",
      "type": "integer"
    }
  },
  "required": [
    "spec_base",
    "keyword"
  ],
  "title": "build_cross_spec_suiteArguments"
}

get_database_stats

Get comprehensive database and system statistics.

Parameters

No parameters.

Raw schema

{
  "type": "object",
  "properties": {},
  "title": "get_database_statsArguments"
}

Install

Tools (16)

get_spec_referencesget_spec_dependentsget_relationship_graphget_spec_metadataget_most_referenced_specsget_series_overviewsearch_specificationssemantic_search

Remote endpoint

Streamable HTTP

Hosted server - connect over the network, no local install.

url

https://mcp.specproof.ai/

Add to VS Code Add to Cursor

claude_desktop_config.json

json

{
  "mcpServers": {
    "specproof-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "mcp-remote",
        "https://mcp.specproof.ai/"
      ]
    }
  }
}

Desktop config is stdio-only; this bridges via mcp-remote. Native remote: Settings > Connectors.

Model Context Protocol (MCP) Server: ai.specproof/specproof-mcp

🛠️ Key Features

🚀 Use Cases

⚡ Developer Benefits

⚠️ Limitations

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_rfc_lineage

build_cross_spec_suite

get_database_stats

Install

Remote endpoint

Related servers