Server Details
SpecProof: Search standards specs with MCP-ready precision.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
See and control every tool call
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 |
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.
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
The connector status is unhealthy when Glama is unable to successfully connect to the server. This can happen for several reasons:
The server is experiencing an outage
The URL of the server is wrong
Credentials required to access the server are missing or invalid
If you are the owner of this MCP connector and would like to make modifications to the listing, including providing test credentials for accessing the server, please contact support@glama.ai.
Discussions
No comments yet. Be the first to start the discussion!