{"serverId":"mcp-registry/ai.aislabs/gateway","tools":[{"name":"how_to_pay","fixed":{"name":"how_to_pay","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":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":95,"tokensAfter":95},{"name":"list_buildings","fixed":{"name":"list_buildings","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":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":75,"tokensAfter":75}],"toolsChanged":2,"tokensSaved":0,"todo":[],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}