# SpecProof MCP server

SpecProof: Search standards specs with MCP-ready precision.

## Links
- Registry page: https://www.getdrio.com/mcp/ai-specproof-specproof-mcp
- Repository: https://github.com/ibouazizi/specproof.git
- Website: https://specproof.ai

## Install
- Endpoint: https://mcp.specproof.ai/
- Auth: Not captured

## Setup notes
- Remote endpoint: https://mcp.specproof.ai/

## Tools
- search_specifications - Search across 3GPP and IETF specification documents using full-text search. Returns ranked results with content previews. Endpoint: https://mcp.specproof.ai/
- semantic_search - Perform semantic search using vector embeddings with FAISS acceleration for better conceptual matching. Endpoint: https://mcp.specproof.ai/
- get_document_content - Retrieve specific content from a specification document by filename, with optional page range and section filtering. Endpoint: https://mcp.specproof.ai/
- list_documents - List available specification documents with filtering options. Endpoint: https://mcp.specproof.ai/
- get_database_stats - Get comprehensive database and system statistics including document counts, search capabilities, and performance metrics. Endpoint: https://mcp.specproof.ai/
- search_contributions - Search 3GPP contribution documents by various criteria including document number, working group, meeting, work item, and agenda item. Endpoint: https://mcp.specproof.ai/
- get_contribution_content - Get the full content of a 3GPP contribution document by its document number. Endpoint: https://mcp.specproof.ai/
- semantic_search_contributions - Perform semantic search on 3GPP contribution documents using FAISS-accelerated vector similarity search. Endpoint: https://mcp.specproof.ai/

## Resources
Not captured

## Prompts
Not captured

## Metadata
- Owner: ai.specproof
- Version: 1.0.0
- Runtime: Streamable Http
- Transports: HTTP
- License: Not captured
- Language: Not captured
- Stars: Not captured
- Updated: Feb 1, 2026
- Source: https://registry.modelcontextprotocol.io