Server definition

Hash: sha256:42a8f13f43d4a1ce821ef54762298fd9e8bcc228276d74bd486c45a9f8aacc9b
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": "FREE. The AIS front desk: what AIS sells (tested code libraries, CVE intelligence, the Agent Flight Recorder), which building serves what, key prices, and how agents can buy over x402.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "about_aislabs",
      "outputSchema": null
    },
    {
      "description": "FREE. The two payment doors — Gateway key (Authorization: Bearer; CVE key $19 / 30 days, Flight Recorder key $19 / 30 days, campus pass $29 / 30 days or $149 / 12 months) vs per-call x402 (USDC on Base) — and when to use each.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "how_to_pay",
      "outputSchema": null
    },
    {
      "description": "FREE. The campus directory: every AIS MCP building (URL, tools, prices, free tier) and which key scope unlocks it, and what each key costs. Start here.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "list_buildings",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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