Server definition

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

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "A single Hong Kong court case by id (format: caseNo/year, e.g. 12345/2024). Returns { data } with parties and files (null if not found).",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "id": {
            "type": "string"
          }
        },
        "required": [
          "id"
        ],
        "type": "object"
      },
      "name": "Hk_get_case",
      "outputSchema": null
    },
    {
      "description": "Plain-text judgment for a Hong Kong court file by file id (judgment DIS id). Returns { data: { id, text } }. text is null when no converted HTML exists.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "id": {
            "type": "string"
          }
        },
        "required": [
          "id"
        ],
        "type": "object"
      },
      "name": "Hk_get_document",
      "outputSchema": null
    },
    {
      "description": "Paginated Hong Kong court cases. Filter by case_prefix (e.g. hccl, facv), year, category, titleContains, partiesContains (English or Chinese party name substring). Returns { data, total, page, limit }.",
      "inputSchema": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "properties": {
          "case_prefix": {
            "minLength": 1,
            "type": "string"
          },
          "category": {
            "minLength": 1,
            "type": "string"
          },
          "limit": {
            "default": 20,
            "maximum": 100,
            "minimum": 1,
            "type": "integer"
          },
          "page": {
            "default": 1,
            "maximum": 9007199254740991,
            "minimum": 1,
            "type": "integer"
          },
          "partiesContains": {
            "minLength": 1,
            "type": "string"
          },
          "titleContains": {
            "minLength": 1,
            "type": "string"
          },
          "year": {
            "minLength": 1,
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "Hk_list_cases",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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