SpecProof

Official8 tools

by specproof

SpecProof: Search standards specs with MCP-ready precision.

Search and retrieve technical standards specifications with precision matching.

Captured live from the server via tools/list.

search_specifications

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

Parameters (4)

querystringrequired
Search query terms
doc_typestring
Filter by document type (optional)
spec_numberstring
Filter by specification number (optional)
max_resultsinteger
Maximum number of results

semantic_search

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

Parameters (4)

querystringrequired
Natural language search query
max_resultsinteger
Maximum number of results
similarity_thresholdnumber
Minimum similarity threshold
index_typestring
FAISS index type (optional, auto-selected if not specified)

get_document_content

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

Parameters (3)

filenamestringrequired
Document filename (e.g., 'TS_23.501_Rel17.pdf')
page_rangestring
Page range like '10-15' or single page '20' (optional)
sectionstring
Section title filter (optional)

list_documents

List available specification documents with filtering options.

Parameters (3)

doc_typestring
Filter by document type (optional)
search_patternstring
Search pattern for spec number or title (optional)
limitinteger
Maximum number of results

get_database_stats

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

No parameters.

search_contributions

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

Parameters (7)

doc_numberstring
Contribution document number (e.g., 'S4-251419')
working_groupstring
Working group (e.g., 'S4', 'SA4')
meeting_numberstring
Meeting number (e.g., '133')
work_itemstring
Work item identifier (e.g., '5GMS_Pro_Ph2')
agenda_itemstring
Agenda item number
querystring
Free text search in title and content
max_resultsinteger
Maximum results to return

get_contribution_content

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

Parameters (1)

doc_numberstringrequired
Contribution document number (e.g., 'S4-251419')

semantic_search_contributions

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

Parameters (4)

querystringrequired
Natural language search query
max_resultsinteger
Maximum results to return
similarity_thresholdnumber
Minimum similarity threshold
index_typestring
FAISS index type (optional)

Install

Tools (8)

search_specificationssemantic_searchget_document_contentlist_documentsget_database_statssearch_contributionsget_contribution_contentsemantic_search_contributions

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.