{"serverId":"mcp-registry/app.rowb.sg-parking-live/carpark-availability","tools":[{"name":"get_carpark_availability","fixed":{"name":"get_carpark_availability","description":"Current lots available per lot type for one HDB carpark code (live from data.gov.sg).","inputSchema":{"type":"object","required":["code"],"properties":{"code":{"type":"string","description":"carpark code, e.g. HE12"}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":83,"tokensAfter":83},{"name":"get_carpark_history","fixed":{"name":"get_carpark_history","description":"Our stored snapshot history for one carpark code (availability sampled since launch). Deterministic read of our own snapshots.","inputSchema":{"type":"object","required":["code"],"properties":{"code":{"type":"string","description":"carpark code, e.g. HE12"},"limit":{"type":"integer","description":"max snapshots (default 50, cap 500)"}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":115,"tokensAfter":115},{"name":"health_check","fixed":{"name":"health_check","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":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":70,"tokensAfter":70},{"name":"list_carparks","fixed":{"name":"list_carparks","description":"List HDB carpark codes known from the live Singapore data.gov.sg feed (optionally filtered by code prefix).","inputSchema":{"type":"object","properties":{"limit":{"type":"integer","description":"max entries (default 50, cap 200)"},"prefix":{"type":"string","description":"carpark code prefix filter, e.g. HE"}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":106,"tokensAfter":106}],"toolsChanged":4,"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."}