Server definition

Hash: sha256:e842207c711e6581b743a44088cc0b2ed3e95422989f6bf0efbec7a8ec3aad17
What it is: What a remote MCP server returned when asked what it offers: 17 tools

The blob, as servednamed by its sha256

{
  "instructions": "SpecProof serves 3GPP, IETF and MPEG specification text indexed from the published documents.\n\nEquations are preserved verbatim from the source specification and are delimited with $...$\n(inline) and $$...$$ (display) inside the text these tools return.\n\nWhen quoting or presenting an equation:\n  - Copy the stored string exactly, including its $ delimiters. Do not retype it, do not\n    reformat it across multiple lines, and do not convert it to \\( \\) or \\[ \\] form.\n    Retyping silently loses characters -- a dropped \"=\" turns a normative formula into\n    nonsense that still reads as an equation -- and the \\( \\) and \\[ \\] delimiters lose\n    their backslashes to markdown in most clients, which corrupts the equation on screen.\n  - If you need to explain an equation, quote it verbatim first, then describe it separately.\n  - A passage containing \"[equation image]\" marks an equation that could not be converted to\n    LaTeX. Say that it is unavailable rather than reconstructing it.\n\nOther notes:\n  - page_number is the chunk's position in the extracted text, not the specification's own\n    printed pagination. Cite clause numbers, which are authoritative; do not cite page numbers.\n  - Requirements carry req_uid, a version-stable identifier; req_key is not stable across\n    re-indexing and should not be persisted.\n",
  "tools": [
    {
      "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 never described in a\n    single document. Returns a cited suite plan; feed the requirement_ids to generate_tests.\n\n    Args:\n        spec_base: The anchor spec, e.g. \"23502\" or \"38331\"\n        keyword: The procedure/topic, e.g. \"registration\", \"handover\", \"authentication\"\n        include_references: Also pull matching clauses from specs this one references (default: True)\n        limit: Max requirements in the plan (default: 20, max: 50)\n    ",
      "inputSchema": {
        "properties": {
          "include_references": {
            "default": true,
            "title": "Include References",
            "type": "boolean"
          },
          "keyword": {
            "title": "Keyword",
            "type": "string"
          },
          "limit": {
            "default": 20,
            "title": "Limit",
            "type": "integer"
          },
          "spec_base": {
            "title": "Spec Base",
            "type": "string"
          }
        },
        "required": [
          "spec_base",
          "keyword"
        ],
        "title": "build_cross_spec_suiteArguments",
        "type": "object"
      },
      "name": "build_cross_spec_suite",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "build_cross_spec_suiteOutput",
        "type": "object"
      }
    },
    {
      "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 moved page or was\n    recased counts as unchanged.\n\n    Args:\n        spec_base: Spec identity without the version, e.g. \"38331\" or \"23501\"\n        from_version: Older version label, e.g. \"j20\" (default: the second-newest in the corpus)\n        to_version: Newer version label, e.g. \"j30\" (default: the newest in the corpus)\n        obligation: Only report changes at this strength — \"must\", \"must_not\", \"should\", \"should_not\", \"may\"\n        limit: Max requirements to list per bucket (default: 25)\n    ",
      "inputSchema": {
        "properties": {
          "from_version": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "From Version"
          },
          "limit": {
            "default": 25,
            "title": "Limit",
            "type": "integer"
          },
          "obligation": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Obligation"
          },
          "spec_base": {
            "title": "Spec Base",
            "type": "string"
          },
          "to_version": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "To Version"
          }
        },
        "required": [
          "spec_base"
        ],
        "title": "diff_spec_versionsArguments",
        "type": "object"
      },
      "name": "diff_spec_versions",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "diff_spec_versionsOutput",
        "type": "object"
      }
    },
    {
      "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 clause from the\n    corpus, and every test cites the spec, section and page it enforces. If the requirement\n    is not testable (boilerplate, scope text), the generator abstains rather than inventing\n    a test.\n\n    Args:\n        requirement_id: The requirement's id, as shown by get_requirements\n        target: \"pytest\" for a runnable Python test module, or \"gherkin\" for a reviewable\n                .feature file (default: pytest)\n    ",
      "inputSchema": {
        "properties": {
          "requirement_id": {
            "title": "Requirement Id",
            "type": "integer"
          },
          "target": {
            "default": "pytest",
            "title": "Target",
            "type": "string"
          }
        },
        "required": [
          "requirement_id"
        ],
        "title": "generate_testsArguments",
        "type": "object"
      },
      "name": "generate_tests",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "generate_testsOutput",
        "type": "object"
      }
    },
    {
      "description": "Get comprehensive database and system statistics.",
      "inputSchema": {
        "properties": {},
        "title": "get_database_statsArguments",
        "type": "object"
      },
      "name": "get_database_stats",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_database_statsOutput",
        "type": "object"
      }
    },
    {
      "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 single page \"20\" (optional)\n        section: Section title filter (optional)\n    ",
      "inputSchema": {
        "properties": {
          "filename": {
            "title": "Filename",
            "type": "string"
          },
          "page_range": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Page Range"
          },
          "section": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Section"
          }
        },
        "required": [
          "filename"
        ],
        "title": "get_document_contentArguments",
        "type": "object"
      },
      "name": "get_document_content",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_document_contentOutput",
        "type": "object"
      }
    },
    {
      "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            series: Filter by series number\n            limit: Maximum results (default: 20)\n        ",
      "inputSchema": {
        "properties": {
          "doc_type": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Doc Type"
          },
          "limit": {
            "default": 20,
            "title": "Limit",
            "type": "integer"
          },
          "series": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Series"
          }
        },
        "title": "get_most_referenced_specsArguments",
        "type": "object"
      },
      "name": "get_most_referenced_specs",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_most_referenced_specsOutput",
        "type": "object"
      }
    },
    {
      "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        Each node includes title, series, working group, and reference counts.\n        Each edge includes source, target, reference type, and count.\n\n        Args:\n            spec_number: Center specification number\n            depth: Number of hops to expand (1-3, default: 1)\n            reference_type: Filter by type - \"normative\", \"informative\" (optional)\n        ",
      "inputSchema": {
        "properties": {
          "depth": {
            "default": 1,
            "title": "Depth",
            "type": "integer"
          },
          "reference_type": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Reference Type"
          },
          "spec_number": {
            "title": "Spec Number",
            "type": "string"
          }
        },
        "required": [
          "spec_number"
        ],
        "title": "get_relationship_graphArguments",
        "type": "object"
      },
      "name": "get_relationship_graph",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_relationship_graphOutput",
        "type": "object"
      }
    },
    {
      "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:\n        spec_number: Filter by spec number, e.g. \"23.501\" or \"RFC 9110\" (optional)\n        obligation: Filter by strength - \"must\", \"must_not\", \"should\", \"should_not\", or \"may\" (optional)\n        search: Keyword to search within the requirement text (optional)\n        limit: Maximum number of requirements to return (default: 30, max: 100)\n    ",
      "inputSchema": {
        "properties": {
          "limit": {
            "default": 30,
            "title": "Limit",
            "type": "integer"
          },
          "obligation": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Obligation"
          },
          "search": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Search"
          },
          "spec_number": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Spec Number"
          }
        },
        "title": "get_requirementsArguments",
        "type": "object"
      },
      "name": "get_requirements",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_requirementsOutput",
        "type": "object"
      }
    },
    {
      "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, not a version diff, IS\n    its change history. Use it to find out whether an RFC you depend on has been superseded.\n\n    Args:\n        rfc: The RFC, e.g. \"7231\", \"rfc7231\" or \"RFC 7231\"\n    ",
      "inputSchema": {
        "properties": {
          "rfc": {
            "title": "Rfc",
            "type": "string"
          }
        },
        "required": [
          "rfc"
        ],
        "title": "get_rfc_lineageArguments",
        "type": "object"
      },
      "name": "get_rfc_lineage",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_rfc_lineageOutput",
        "type": "object"
      }
    },
    {
      "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 Service Based\n    Interfaces).\n\n    Prefer this over prose search when the question is about a message's *structure* — field\n    names, types, ranges, optionality. The definition is returned verbatim from the spec, so\n    it is exact rather than recalled.\n\n    Args:\n        name: Type or schema name, e.g. \"RRCSetup\", \"MeasConfig\", \"SmContextCreateData\"\n        spec_number: Restrict to a spec, e.g. \"38.331\"\n        kind: \"asn1\", \"openapi\" or \"json_schema\"\n        limit: Maximum definitions to return (default: 10, max: 25)\n    ",
      "inputSchema": {
        "properties": {
          "kind": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Kind"
          },
          "limit": {
            "default": 10,
            "title": "Limit",
            "type": "integer"
          },
          "name": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Name"
          },
          "spec_number": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Spec Number"
          }
        },
        "title": "get_schema_definitionsArguments",
        "type": "object"
      },
      "name": "get_schema_definitions",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_schema_definitionsOutput",
        "type": "object"
      }
    },
    {
      "description": "Get an overview of all specification series with document counts, reference statistics, and working group assignments.",
      "inputSchema": {
        "properties": {},
        "title": "get_series_overviewArguments",
        "type": "object"
      },
      "name": "get_series_overview",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_series_overviewOutput",
        "type": "object"
      }
    },
    {
      "description": "Get all specifications that reference a given spec (reverse lookup).\n\n        Args:\n            spec_number: Specification number to find dependents of\n            max_results: Maximum results (default: 50)\n        ",
      "inputSchema": {
        "properties": {
          "max_results": {
            "default": 50,
            "title": "Max Results",
            "type": "integer"
          },
          "spec_number": {
            "title": "Spec Number",
            "type": "string"
          }
        },
        "required": [
          "spec_number"
        ],
        "title": "get_spec_dependentsArguments",
        "type": "object"
      },
      "name": "get_spec_dependents",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_spec_dependentsOutput",
        "type": "object"
      }
    },
    {
      "description": "Get enriched metadata for specifications with filtering.\n\n        Args:\n            spec_number: Filter by spec number (partial match)\n            series: Filter by series (e.g., \"26\" for 26.xxx codecs)\n            working_group: Filter by working group (e.g., \"SA4\")\n            doc_class: Filter by document class - \"TS\" or \"TR\"\n            limit: Maximum results (default: 50)\n        ",
      "inputSchema": {
        "properties": {
          "doc_class": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Doc Class"
          },
          "limit": {
            "default": 50,
            "title": "Limit",
            "type": "integer"
          },
          "series": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Series"
          },
          "spec_number": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Spec Number"
          },
          "working_group": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Working Group"
          }
        },
        "title": "get_spec_metadataArguments",
        "type": "object"
      },
      "name": "get_spec_metadata",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_spec_metadataOutput",
        "type": "object"
      }
    },
    {
      "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_type: Filter by type - \"normative\", \"informative\", \"inline\" (optional)\n        ",
      "inputSchema": {
        "properties": {
          "reference_type": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Reference Type"
          },
          "spec_number": {
            "title": "Spec Number",
            "type": "string"
          }
        },
        "required": [
          "spec_number"
        ],
        "title": "get_spec_referencesArguments",
        "type": "object"
      },
      "name": "get_spec_references",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "get_spec_referencesOutput",
        "type": "object"
      }
    },
    {
      "description": "List available specification documents.\n    \n    Args:\n        doc_type: Filter by document type - \"3gpp\", \"ietf\", or \"mpeg\" (optional)\n        search_pattern: Search pattern for spec number or title (optional)\n        limit: Maximum number of results (default: 20, max: 100)\n    ",
      "inputSchema": {
        "properties": {
          "doc_type": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Doc Type"
          },
          "limit": {
            "default": 20,
            "title": "Limit",
            "type": "integer"
          },
          "search_pattern": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Search Pattern"
          }
        },
        "title": "list_documentsArguments",
        "type": "object"
      },
      "name": "list_documents",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "list_documentsOutput",
        "type": "object"
      }
    },
    {
      "description": "Search across 3GPP, IETF, and Multimedia specification documents using full-text search.\n\n    Args:\n        query: Search query terms (required)\n        doc_type: Filter by document type - \"3gpp\", \"ietf\", or \"mpeg\" (optional)\n        spec_number: Filter by specification number (optional) \n        max_results: Maximum number of results to return (default: 10, max: 50)\n    ",
      "inputSchema": {
        "properties": {
          "doc_type": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Doc Type"
          },
          "max_results": {
            "default": 10,
            "title": "Max Results",
            "type": "integer"
          },
          "query": {
            "title": "Query",
            "type": "string"
          },
          "spec_number": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Spec Number"
          }
        },
        "required": [
          "query"
        ],
        "title": "search_specificationsArguments",
        "type": "object"
      },
      "name": "search_specifications",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "search_specificationsOutput",
        "type": "object"
      }
    },
    {
      "description": "Perform semantic search using vector embeddings with FAISS acceleration.\n    \n    Args:\n        query: Natural language search query (required)\n        max_results: Maximum number of results to return (default: 5, max: 20)\n        similarity_threshold: Minimum similarity threshold 0.0-1.0 (default: 0.3)\n        index_type: FAISS index type - \"hnsw\", \"ivf\", or \"flat\" (optional, auto-selected)\n    ",
      "inputSchema": {
        "properties": {
          "index_type": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Index Type"
          },
          "max_results": {
            "default": 5,
            "title": "Max Results",
            "type": "integer"
          },
          "query": {
            "title": "Query",
            "type": "string"
          },
          "similarity_threshold": {
            "default": 0.3,
            "title": "Similarity Threshold",
            "type": "number"
          }
        },
        "required": [
          "query"
        ],
        "title": "semantic_searchArguments",
        "type": "object"
      },
      "name": "semantic_search",
      "outputSchema": {
        "properties": {
          "result": {
            "title": "Result",
            "type": "string"
          }
        },
        "required": [
          "result"
        ],
        "title": "semantic_searchOutput",
        "type": "object"
      }
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:e842207c711e6581b743a44088cc0b2ed3e95422989f6bf0efbec7a8ec3aad17 | sha256sum