Server Details
SpecProof: Search standards specs with MCP-ready precision.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
Available Tools
8 toolsget_contribution_contentTry in Inspector
Get the full content of a 3GPP contribution document by its document number.
| Name | Required | Description | Default |
|---|---|---|---|
| doc_number | Yes | Contribution document number (e.g., 'S4-251419') |
get_database_statsTry in Inspector
Get comprehensive database and system statistics including document counts, search capabilities, and performance metrics.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
get_document_contentTry in Inspector
Retrieve specific content from a specification document by filename, with optional page range and section filtering.
| Name | Required | Description | Default |
|---|---|---|---|
| section | No | Section title filter (optional) | |
| filename | Yes | Document filename (e.g., 'TS_23.501_Rel17.pdf') | |
| page_range | No | Page range like '10-15' or single page '20' (optional) |
list_documentsTry in Inspector
List available specification documents with filtering options.
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | Maximum number of results | |
| doc_type | No | Filter by document type (optional) | |
| search_pattern | No | Search pattern for spec number or title (optional) |
search_contributionsTry in Inspector
Search 3GPP contribution documents by various criteria including document number, working group, meeting, work item, and agenda item.
| Name | Required | Description | Default |
|---|---|---|---|
| query | No | Free text search in title and content | |
| work_item | No | Work item identifier (e.g., '5GMS_Pro_Ph2') | |
| doc_number | No | Contribution document number (e.g., 'S4-251419') | |
| agenda_item | No | Agenda item number | |
| max_results | No | Maximum results to return | |
| working_group | No | Working group (e.g., 'S4', 'SA4') | |
| meeting_number | No | Meeting number (e.g., '133') |
search_specificationsTry in Inspector
Search across 3GPP and IETF specification documents using full-text search. Returns ranked results with content previews.
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | Search query terms | |
| doc_type | No | Filter by document type (optional) | |
| max_results | No | Maximum number of results | |
| spec_number | No | Filter by specification number (optional) |
semantic_searchTry in Inspector
Perform semantic search using vector embeddings with FAISS acceleration for better conceptual matching.
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | Natural language search query | |
| index_type | No | FAISS index type (optional, auto-selected if not specified) | |
| max_results | No | Maximum number of results | |
| similarity_threshold | No | Minimum similarity threshold |
semantic_search_contributionsTry in Inspector
Perform semantic search on 3GPP contribution documents using FAISS-accelerated vector similarity search.
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | Natural language search query | |
| index_type | No | FAISS index type (optional) | |
| max_results | No | Maximum results to return | |
| similarity_threshold | No | Minimum similarity threshold |
FAQ
How do I claim this server?
To claim this server, publish a /.well-known/glama.json file on your server's domain with the following structure:
The email address must match the email associated with your Glama account. Once verified, the server will appear as claimed by you.
What are the benefits of claiming a server?
- Control your server's listing on Glama, including description and metadata
- Receive usage reports showing how your server is being used
- Get monitoring and health status updates for your server
Discussions
No comments yet. Be the first to start the discussion!