SpecProof

Server Details

SpecProof: Search standards specs with MCP-ready precision.

Status: Healthy
Last Tested: 2026-03-17 03:31
Transport: Streamable HTTP
URL

See and control every tool call

Log every tool call with full inputs and outputs

Control which tools are enabled per connector

Manage credentials once, use from any MCP client

Monitor uptime and get alerted when servers go down

Available Tools

8 tools

get_contribution_contentInspect

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

ParametersJSON Schema

Name	Required	Description	Default
`doc_number`	Yes	Contribution document number (e.g., 'S4-251419')

get_database_statsInspect

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

ParametersJSON Schema

Name	Required	Description	Default
No parameters

get_document_contentInspect

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

ParametersJSON Schema

Name	Required	Description
`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_documentsInspect

List available specification documents with filtering options.

ParametersJSON Schema

Name	Required	Description
`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_contributionsInspect

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

ParametersJSON Schema

Name	Required	Description
`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_specificationsInspect

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

ParametersJSON Schema

Name	Required	Description
`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_searchInspect

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

ParametersJSON Schema

Name	Required	Description
`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_contributionsInspect

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

ParametersJSON Schema

Name	Required	Description
`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

Verify Ownership

Claim this connector by publishing a /.well-known/glama.json file on your server's domain with the following structure:

{
  "$schema": "https://glama.ai/mcp/schemas/connector.json",
  "maintainers": [
    {
      "email": "your-email@example.com"
    }
  ]
}

The email address must match the email associated with your Glama account. Once verified, the connector will appear as claimed by you.

Server Details

Available Tools

Verify Ownership

Discussions

Your Connectors

Resources