Server definition

Hash: sha256:8811b5072587f47fd7265e2e75c8cf310810c6675129474ff0d73e5fcfbd43aa
What it is: What a remote MCP server returned when asked what it offers: 4 tools

The blob, as servednamed by its sha256

{
  "instructions": "Health and token cost of every remote server in the official MCP registry, probed daily. Use lookup_server for a registry name or URL, search_servers to find servers, check_server to probe a URL that is not in the registry. Token counts use the o200k_base tokenizer over each tool definition.",
  "tools": [
    {
      "description": "Connects to an MCP server URL now (initialize and tools/list, no credentials, 10 s timeout) and reports status, protocol, tools and an estimated token cost of the tool definitions. For registry servers prefer lookup_server, which has exact counts.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "url": {
            "description": "https URL of the MCP endpoint",
            "format": "uri",
            "type": "string"
          }
        },
        "required": [
          "url"
        ],
        "type": "object"
      },
      "name": "check_server",
      "outputSchema": null
    },
    {
      "description": "Latest probe of one server from the official MCP registry: status, protocol, tool count, token cost of its tool definitions, latency. Accepts the registry name (io.github.owner/name) or the server URL.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "nameOrUrl": {
            "description": "Registry name or https URL of the server",
            "type": "string"
          }
        },
        "required": [
          "nameOrUrl"
        ],
        "type": "object"
      },
      "name": "lookup_server",
      "outputSchema": null
    },
    {
      "description": "Aggregates of the latest daily run: how many servers answer, token cost percentiles, protocol versions, heaviest servers.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "registry_summary",
      "outputSchema": null
    },
    {
      "description": "Find servers by words in name, title, description or host, with optional filters, sorted by token cost by default. Returns up to 20 servers per page.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "properties": {
          "page": {
            "maximum": 1000,
            "minimum": 1,
            "type": "integer"
          },
          "query": {
            "description": "Words to match, three or more characters each",
            "type": "string"
          },
          "sort": {
            "enum": [
              "tokens",
              "tokens-asc",
              "tools",
              "tools-asc",
              "latency",
              "latency-desc",
              "name",
              "name-desc",
              "status",
              "status-desc",
              "protocol",
              "protocol-desc",
              "host",
              "host-desc",
              "updated"
            ],
            "type": "string"
          },
          "status": {
            "description": "ok = answers and lists tools",
            "enum": [
              "ok",
              "auth",
              "payment",
              "newer_protocol",
              "down"
            ],
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "search_servers",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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