{"serverId":"mcp-registry/dev.workers.panda198271.tw-travel-2027/travel-2027","tools":[{"name":"check_destination_crowd","fixed":{"name":"check_destination_crowd","description":"查某個目的地在一段日期的人潮等級：是否撞到當地國定假日或旺季。country 國碼：JP,KR,HK,CN,VN,TH,SG,PH,ID,US,GB,FR,AU","inputSchema":{"type":"object","required":["country","start","end"],"properties":{"end":{"type":"string","description":"YYYY-MM-DD"},"start":{"type":"string","description":"YYYY-MM-DD"},"country":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":97,"tokensAfter":97},{"name":"flight_booking_timing","fixed":{"name":"flight_booking_timing","description":"評估從台灣出發的機票現在該買還是該等：依出發日、目的地、台灣連假與旺季，給建議購票期。不是即時票價。","inputSchema":{"type":"object","required":["depart"],"properties":{"dest":{"type":"string","description":"國碼"},"depart":{"type":"string","description":"YYYY-MM-DD"}}},"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":74,"tokensAfter":74},{"name":"get_2027_long_weekends","fixed":{"name":"get_2027_long_weekends","description":"台灣 2027 年（民國 116 年）9 個 3 天以上連假，以及每個連假請 1～5 天假的最佳組合（例：春節請 5 休 16）。","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":46,"tokensAfter":46},{"name":"ticket_booking_guide","fixed":{"name":"ticket_booking_guide","description":"沉浸式劇場、密室逃脫訂票須知：台灣售票平台、退票規定、黃牛罰則、預約前確認清單。","inputSchema":{"type":"object","properties":{}},"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":38,"tokensAfter":38}],"toolsChanged":4,"tokensSaved":0,"todo":[{"tool":"check_destination_crowd","params":["country"]}],"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."}