DirectoryMCP serversSearch & research

SpecProof: MCP server (Search & research) in 2026

SpecProof: Search standards specs with MCP-ready precision.

Verified working on 2026-10-27 Rank 19 of 94 in Search & research. Source: MCP Registry record, checked 2026-10-27.

Key facts

TypeMCP server, remote (streamable HTTP)
CategorySearch & research
Endpointhttps://mcp.specproof.ai/
Registry nameai.specproof/specproof-mcp
Version (registry)1.0.0
Published in registry2026-02-01
Registry record updated2026-02-01
Repositoryhttps://github.com/ibouazizi/specproof.git
Websitehttps://specproof.ai
AuthenticationNone needed for initialize and tools/list (checked anonymously)
Latest checkUp on 2026-10-27, 189 ms to initialize
Tools listed17
Checks passed1 of 1 daily checks
Last verified working2026-10-27
Sourcehttps://registry.modelcontextprotocol.io/v0/servers/ai.specproof%2Fspecproof-mcp/versions/latest (pulled 2026-10-27)

Tools (17)

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

Verification history

One probe a day: initialize, then tools/list, nothing else. Last 1 checks: 10-27 up

Install

Claude Code
claude mcp add --transport http specproof-mcp https://mcp.specproof.ai/
Claude (claude.ai, Desktop)

Settings > Connectors > Add custom connector. Name: SpecProof. URL: https://mcp.specproof.ai/

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

Save as ~/.cursor/mcp.json (all projects) or .cursor/mcp.json (this project).

ChatGPT

Settings > Connectors > Advanced > Developer mode, then Create. Name: SpecProof. MCP server URL: https://mcp.specproof.ai/. Authentication: No authentication.

Custom connectors need a plan with Developer mode; menu names change between releases.

Hermes Agent
mcp_servers:
  specproof-mcp:
    url: "https://mcp.specproof.ai/"

Add to ~/.hermes/config.yaml, then run /reload-mcp.

Is this your mcp server? Claim this listing to correct facts, add a contact, or tell us you want the upcoming verified badge, downtime alerts and agent-demand analytics. Claiming never changes where it ranks.

Other search & research mcp servers

Within a category, entries sort by (1) latest verification: verified working, then reachable but sign-in required, then failing; (2) share of daily checks that passed; (3) number of sourced facts attached to the entry; (4) median response time of passing checks; (5) name. Nothing else counts. Rankings are never for sale: sponsors and paid plans cannot change an entry's position. Markdown · JSON

SpecProof: MCP server (Search & research) in 2026 · Vibe Shipped