SpecProof MCP Tools

• get_spec_references Read-only

  get spec references

• get_spec_dependents Read-only

  get spec dependents

• get_relationship_graph Read-only

  get relationship graph

• get_spec_metadata Read-only

  get spec metadata

• get_most_referenced_specs Read-only

  get most referenced specs

• get_series_overview Read-only

  get series overview

• search_specifications Read-only

  search specifications

• semantic_search

  semantic search

• get_document_content Read-only

  get document content

• list_documents Read-only

  list documents

• get_requirements Read-only

  get requirements

• generate_tests

  generate tests

• diff_spec_versions

  diff spec versions

• get_schema_definitions Read-only

  get schema definitions

• get_rfc_lineage Read-only

  get rfc lineage

• build_cross_spec_suite

  build cross spec suite

• get_database_stats Read-only

  get database stats

This list was read from the server itself, by connecting to it and calling tools/list on 24 September 2026. It is what the server actually exposes, not what its listing claims.

Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.