SpecProof

• get_spec_references — Get all specifications referenced by a given spec. Args: spec_number: Specification number (e.g., "23.501", "26.230") reference
• get_spec_dependents — Get all specifications that reference a given spec (reverse lookup). Args: spec_number: Specification number to find dependents of
• get_relationship_graph — Get a relationship graph centered on a specification, expanding N hops. Returns JSON with nodes and edges suitable for graph visualization. Eac
• get_spec_metadata — Get enriched metadata for specifications with filtering. Args: spec_number: Filter by spec number (partial match) series: Filte
• get_most_referenced_specs — Get the most referenced (most important) specifications ranked by incoming reference count. Args: doc_type: Filter by "3gpp" or "ietf"
• get_series_overview — Get an overview of all specification series with document counts, reference statistics, and working group assignments.
• search_specifications — Search across 3GPP, IETF, and Multimedia specification documents using full-text search. Args: query: Search query terms (required) doc_typ
• semantic_search — Perform semantic search using vector embeddings with FAISS acceleration. Args: query: Natural language search query (required) max_resu
• get_document_content — Get specific content from a specification document. Args: filename: Document filename (required) page_range: Page range like "10-15" or
• list_documents — List available specification documents. Args: doc_type: Filter by document type - "3gpp", "ietf", or "mpeg" (optional) search_pattern:
• get_requirements — List normative requirements (RFC 2119 / BCP 14 "shall/should/may" statements) extracted from specifications, each cited back to its source clause. Args
• generate_tests

No long description beyond the summary.