Server definition

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

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "Current lots available per lot type for one HDB carpark code (live from data.gov.sg).",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "code": {
            "description": "carpark code, e.g. HE12",
            "type": "string"
          }
        },
        "required": [
          "code"
        ],
        "type": "object"
      },
      "name": "get_carpark_availability",
      "outputSchema": null
    },
    {
      "description": "Our stored snapshot history for one carpark code (availability sampled since launch). Deterministic read of our own snapshots.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "code": {
            "description": "carpark code, e.g. HE12",
            "type": "string"
          },
          "limit": {
            "description": "max snapshots (default 50, cap 500)",
            "type": "integer"
          }
        },
        "required": [
          "code"
        ],
        "type": "object"
      },
      "name": "get_carpark_history",
      "outputSchema": null
    },
    {
      "description": "Report whether this service is up and which version answered. Use it to confirm the endpoint is reachable before running a real job.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "health_check",
      "outputSchema": null
    },
    {
      "description": "List HDB carpark codes known from the live Singapore data.gov.sg feed (optionally filtered by code prefix).",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "limit": {
            "description": "max entries (default 50, cap 200)",
            "type": "integer"
          },
          "prefix": {
            "description": "carpark code prefix filter, e.g. HE",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "list_carparks",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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