{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_skxhea9s97ht","handle":"specproof","url":"https://wellknown.network/agents/specproof","links":{"self":"https://wellknown.network/agents/specproof/record.json","html":"https://wellknown.network/agents/specproof","markdown":"https://wellknown.network/agents/specproof/record.md","api":"https://wellknown.network/api/v1/agents/specproof","status":"https://wellknown.network/api/v1/agents/specproof/status","claim":"https://wellknown.network/agents/specproof/claim","claimApi":"https://wellknown.network/api/v1/claims","badge":"https://wellknown.network/agents/specproof/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:mcp.specproof.ai:server:specproof","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"SpecProof","summary":"SpecProof: Search standards specs with MCP-ready precision.","description":"SpecProof: Search standards specs with MCP-ready precision.","publisher":{"name":"ai.specproof","url":null},"homepage":"https://specproof.ai","repository":"https://github.com/ibouazizi/specproof.git","version":"1.0.0","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://mcp.specproof.ai","type":"mcp_streamable_http","auth":null,"probeable":true}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-02-01T20:43:12.895842Z","publishedAt":"2026-02-01T20:43:12.895842Z","registryName":"ai.specproof/specproof-mcp"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[],"categories":[]},"observed":{"status":"unknown","statusReason":"Not checked yet.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[{"at":"2026-09-05T18:27:15.634Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":109,"error":null,"detail":{"tools":[{"name":"get_spec_references","description":"Get all specifications referenced by a given spec.\n\n        Args:\n            spec_number: Specification number (e.g., \"23.501\", \"26.230\")\n            reference"},{"name":"get_spec_dependents","description":"Get all specifications that reference a given spec (reverse lookup).\n\n        Args:\n            spec_number: Specification number to find dependents of\n        "},{"name":"get_relationship_graph","description":"Get a relationship graph centered on a specification, expanding N hops.\n\n        Returns JSON with nodes and edges suitable for graph visualization.\n        Eac"},{"name":"get_spec_metadata","description":"Get enriched metadata for specifications with filtering.\n\n        Args:\n            spec_number: Filter by spec number (partial match)\n            series: Filte"},{"name":"get_most_referenced_specs","description":"Get the most referenced (most important) specifications ranked by incoming reference count.\n\n        Args:\n            doc_type: Filter by \"3gpp\" or \"ietf\"\n    "},{"name":"get_series_overview","description":"Get an overview of all specification series with document counts, reference statistics, and working group assignments."},{"name":"search_specifications","description":"Search across 3GPP, IETF, and Multimedia specification documents using full-text search.\n\n    Args:\n        query: Search query terms (required)\n        doc_typ"},{"name":"semantic_search","description":"Perform semantic search using vector embeddings with FAISS acceleration.\n    \n    Args:\n        query: Natural language search query (required)\n        max_resu"},{"name":"get_document_content","description":"Get specific content from a specification document.\n    \n    Args:\n        filename: Document filename (required)\n        page_range: Page range like \"10-15\" or"},{"name":"list_documents","description":"List available specification documents.\n    \n    Args:\n        doc_type: Filter by document type - \"3gpp\", \"ietf\", or \"mpeg\" (optional)\n        search_pattern: "},{"name":"get_requirements","description":"List normative requirements (RFC 2119 / BCP 14 \"shall/should/may\" statements)\n    extracted from specifications, each cited back to its source clause.\n\n    Args"},{"name":"generate_tests","description":"Generate a cited, runnable conformance test that verifies one normative requirement.\n\n    The test is grounded in the requirement sentence plus its surrounding "},{"name":"diff_spec_versions","description":"Diff two versions of a specification at the NORMATIVE level: which requirements were\n    added, removed, or reworded. Not a textual diff — a clause that merely "},{"name":"get_schema_definitions","description":"Look up formal, machine-checkable structure defined in the specifications: ASN.1 types\n    (3GPP RRC/NAS message grammars) and JSON Schema / OpenAPI models (5G "},{"name":"get_rfc_lineage","description":"An RFC's revision history. RFCs are immutable — an RFC is never revised, it is obsoleted\n    or updated by a *different* RFC — so this Obsoletes/Updates graph, "},{"name":"build_cross_spec_suite","description":"Assemble the normative requirements for one procedure across a spec AND the specs it\n    normatively references — a procedure like registration or handover is n"},{"name":"get_database_stats","description":"Get comprehensive database and system statistics."}],"toolCount":17,"serverName":"3gpp-spec-server","capabilities":["experimental","prompts","resources","tools"],"serverVersion":"1.29.0","protocolVersion":"2025-06-18"}}],"tools":[{"name":"get_spec_references","description":"Get all specifications referenced by a given spec.\n\n        Args:\n            spec_number: Specification number (e.g., \"23.501\", \"26.230\")\n            reference"},{"name":"get_spec_dependents","description":"Get all specifications that reference a given spec (reverse lookup).\n\n        Args:\n            spec_number: Specification number to find dependents of\n        "},{"name":"get_relationship_graph","description":"Get a relationship graph centered on a specification, expanding N hops.\n\n        Returns JSON with nodes and edges suitable for graph visualization.\n        Eac"},{"name":"get_spec_metadata","description":"Get enriched metadata for specifications with filtering.\n\n        Args:\n            spec_number: Filter by spec number (partial match)\n            series: Filte"},{"name":"get_most_referenced_specs","description":"Get the most referenced (most important) specifications ranked by incoming reference count.\n\n        Args:\n            doc_type: Filter by \"3gpp\" or \"ietf\"\n    "},{"name":"get_series_overview","description":"Get an overview of all specification series with document counts, reference statistics, and working group assignments."},{"name":"search_specifications","description":"Search across 3GPP, IETF, and Multimedia specification documents using full-text search.\n\n    Args:\n        query: Search query terms (required)\n        doc_typ"},{"name":"semantic_search","description":"Perform semantic search using vector embeddings with FAISS acceleration.\n    \n    Args:\n        query: Natural language search query (required)\n        max_resu"},{"name":"get_document_content","description":"Get specific content from a specification document.\n    \n    Args:\n        filename: Document filename (required)\n        page_range: Page range like \"10-15\" or"},{"name":"list_documents","description":"List available specification documents.\n    \n    Args:\n        doc_type: Filter by document type - \"3gpp\", \"ietf\", or \"mpeg\" (optional)\n        search_pattern: "},{"name":"get_requirements","description":"List normative requirements (RFC 2119 / BCP 14 \"shall/should/may\" statements)\n    extracted from specifications, each cited back to its source clause.\n\n    Args"},{"name":"generate_tests","description":"Generate a cited, runnable conformance test that verifies one normative requirement.\n\n    The test is grounded in the requirement sentence plus its surrounding "},{"name":"diff_spec_versions","description":"Diff two versions of a specification at the NORMATIVE level: which requirements were\n    added, removed, or reworded. Not a textual diff — a clause that merely "},{"name":"get_schema_definitions","description":"Look up formal, machine-checkable structure defined in the specifications: ASN.1 types\n    (3GPP RRC/NAS message grammars) and JSON Schema / OpenAPI models (5G "},{"name":"get_rfc_lineage","description":"An RFC's revision history. RFCs are immutable — an RFC is never revised, it is obsoleted\n    or updated by a *different* RFC — so this Obsoletes/Updates graph, "},{"name":"build_cross_spec_suite","description":"Assemble the normative requirements for one procedure across a spec AND the specs it\n    normatively references — a procedure like registration or handover is n"},{"name":"get_database_stats","description":"Get comprehensive database and system statistics."}],"package":null},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"ai.specproof/specproof-mcp","url":"https://registry.modelcontextprotocol.io/v0/servers/ai.specproof%2Fspecproof-mcp","firstSeenAt":"2026-09-05T14:18:31.821Z","fetchedAt":"2026-09-05T14:18:31.821Z","normalizedAt":"2026-09-05T14:18:31.821Z"}]},"firstSeenAt":"2026-09-05T14:18:31.821Z","updatedAt":"2026-09-05T14:18:57.642Z"}