SpecProof

skills: {'id': 'search_specifications', 'name': 'search_specifications', 'description': 'Search across 3GPP and IETF specification documents using full-text search. Returns ranked results with content previews.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}, {'id': 'semantic_search', 'name': 'semantic_search', 'description': 'Perform semantic search using vector embeddings with FAISS acceleration for better conceptual matching.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}, {'id': 'get_document_content', 'name': 'get_document_content', 'description': 'Retrieve specific content from a specification document by filename, with optional page range and section filtering.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}, {'id': 'list_documents', 'name': 'list_documents', 'description': 'List available specification documents with filtering options.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}, {'id': 'get_database_stats', 'name': 'get_database_stats', 'description': 'Get comprehensive database and system statistics including document counts, search capabilities, and performance metrics.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}, {'id': 'search_contributions', 'name': 'search_contributions', 'description': 'Search 3GPP contribution documents by various criteria including document number, working group, meeting, work item, and agenda item.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}, {'id': 'get_contribution_content', 'name': 'get_contribution_content', 'description': 'Get the full content of a 3GPP contribution document by its document number.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}, {'id': 'semantic_search_contributions', 'name': 'semantic_search_contributions', 'description': 'Perform semantic search on 3GPP contribution documents using FAISS-accelerated vector similarity search.', 'tags': [], 'examples': None, 'input_modes': None, 'output_modes': None}; uptime_30d 1.0%; p95 394.1ms; conformance: pass

How to connect

https://mcp.specproof.ai

curl -X POST https://mcp.specproof.ai \
  -H 'Content-Type: application/json' \
  -H 'Accept: application/json, text/event-stream' \
  -d '{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}'