Skip to content
Back to search
100
MCP live v1.0.0 streamable-http

SpecProof

ai.specproof/specproof-mcp

SpecProof: Search standards specs with MCP-ready precision.

Uptime
19.1%
47 probes
Response
613ms
last probe
Tools
8
callable

Tools · 8

search_specifications

Search across 3GPP and IETF specification documents using full-text search. Returns ranked results with content previews.

semantic_search

Perform semantic search using vector embeddings with FAISS acceleration for better conceptual matching.

get_document_content

Retrieve specific content from a specification document by filename, with optional page range and section filtering.

list_documents

List available specification documents with filtering options.

get_database_stats

Get comprehensive database and system statistics including document counts, search capabilities, and performance metrics.

search_contributions

Search 3GPP contribution documents by various criteria including document number, working group, meeting, work item, and agenda item.

get_contribution_content

Get the full content of a 3GPP contribution document by its document number.

semantic_search_contributions

Perform semantic search on 3GPP contribution documents using FAISS-accelerated vector similarity search.

Similar MCP servers embedding-nearest

mcproof
A framework for testing MCP servers
0 tools
specproof mcp
Metadata-only Glama MCP connector.
0 tools · http
thoughtproof-mcp
MCP server for ThoughtProof — verify AI reasoning with adversarial multi-model consensus
0 tools
spec-tools-mcp
MCP toolkit that gives AI agents a structured spec-driven development workflow
0 tools
mcp-assert
Deterministic correctness testing for MCP servers
0 tools
io.github.csoai-org/mcp-spec-compliance-mcp
MCP Spec Compliance MCP — audits any MCP server.json against the official Model Context Protocol
0 tools · streamable-http

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "specproof": {
      "url": "https://mcp.specproof.ai/",
      "transport": "streamable-http"
    }
  }
}