S
SpecProof
17 endpointsliveSpecProof: Search standards specs with MCP-ready precision. (MCP server ai.specproof/specproof-mcp, aggregated from the official registry)
$Set up https://cracked-ai-pearl.vercel.app/SKILL.md, and then use Cracked to show me what I can do for SpecProof.
| Endpoint | What it does | Price | Health |
|---|---|---|---|
| get spec references /get_spec_references | Get all specifications referenced by a given spec. Args: spec_number: Specification number (e.g., "23.501", "26.230") reference | $0.0020 per call | unknown |
| get spec dependents /get_spec_dependents | Get all specifications that reference a given spec (reverse lookup). Args: spec_number: Specification number to find dependents of | $0.0020 per call | unknown |
| get relationship graph /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 | $0.0020 per call | unknown |
| get spec metadata /get_spec_metadata | Get enriched metadata for specifications with filtering. Args: spec_number: Filter by spec number (partial match) series: Filte | $0.0020 per call | unknown |
| get most referenced specs /get_most_referenced_specs | Get the most referenced (most important) specifications ranked by incoming reference count. Args: doc_type: Filter by "3gpp" or "ietf" | $0.0020 per call | unknown |
| get series overview /get_series_overview | Get an overview of all specification series with document counts, reference statistics, and working group assignments. | $0.0020 per call | unknown |
| Search Specifications /search_specifications | Search across 3GPP, IETF, and Multimedia specification documents using full-text search. Args: query: Search query terms (required) doc_typ | $0.0020 per call | unknown |
| Semantic Search /semantic_search | Perform semantic search using vector embeddings with FAISS acceleration. Args: query: Natural language search query (required) max_resu | $0.0020 per call | unknown |
| Get Document Content /get_document_content | Get specific content from a specification document. Args: filename: Document filename (required) page_range: Page range like "10-15" or | $0.0020 per call | unknown |
| List Documents /list_documents | List available specification documents. Args: doc_type: Filter by document type - "3gpp", "ietf", or "mpeg" (optional) search_pattern: | $0.0020 per call | unknown |
| Get Requirements /get_requirements | List normative requirements (RFC 2119 / BCP 14 "shall/should/may" statements) extracted from specifications, each cited back to its source clause. Args | $0.0020 per call | unknown |
| Generate Conformance Tests /generate_tests | Generate a cited, runnable conformance test that verifies one normative requirement. The test is grounded in the requirement sentence plus its surrounding | $0.0020 per call | unknown |
| Diff Spec Versions /diff_spec_versions | Diff two versions of a specification at the NORMATIVE level: which requirements were added, removed, or reworded. Not a textual diff — a clause that merely | $0.0020 per call | unknown |
| Get Schema Definitions /get_schema_definitions | Look up formal, machine-checkable structure defined in the specifications: ASN.1 types (3GPP RRC/NAS message grammars) and JSON Schema / OpenAPI models (5G | $0.0020 per call | unknown |
| RFC Lineage /get_rfc_lineage | An RFC's revision history. RFCs are immutable — an RFC is never revised, it is obsoleted or updated by a *different* RFC — so this Obsoletes/Updates graph, | $0.0020 per call | unknown |
| Build Cross-Spec Suite /build_cross_spec_suite | Assemble the normative requirements for one procedure across a spec AND the specs it normatively references — a procedure like registration or handover is n | $0.0020 per call | unknown |
| Database Statistics /get_database_stats | Get comprehensive database and system statistics. | $0.0020 per call | unknown |