{"serverId":"mcp-registry/app.rowb.stampcard/cards","tools":[{"name":"create_program","fixed":{"name":"create_program","description":"Create or update the shop program: shop name, reward text, stamps required before a reward. Returns the program and its join URL (the poster target).","inputSchema":{"type":"object","required":["shop"],"properties":{"shop":{"type":"string"},"reward":{"type":"string"},"stamps_required":{"type":"integer","maximum":50,"minimum":2}}},"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":104,"tokensAfter":104},{"name":"get_card","fixed":{"name":"get_card","description":"Read one customer card: how many stamps, what the reward is, whether it is ready to redeem.","inputSchema":{"type":"object","properties":{"code":{"type":"string"},"token":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":63,"tokensAfter":63},{"name":"program_stats","fixed":{"name":"program_stats","description":"Program plus this month stamp usage and quota, so a shop can tell how close it is to the free limit.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":53,"tokensAfter":53}],"toolsChanged":3,"tokensSaved":0,"todo":[{"tool":"create_program","params":["shop","reward","stamps_required"]},{"tool":"get_card","params":["code","token"]},{"tool":"redeem","params":["code","token"]},{"tool":"stamp","params":["code","token","allow_multiple"]}],"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."}