{"serverId":"mcp-registry/dev.workers.panda198271.tw-trip-guide/trip-guide","tools":[{"name":"convert_currency","fixed":{"name":"convert_currency","description":"用臺灣銀行牌告匯率試算換匯：新臺幣換外幣（buy）或外幣換回新臺幣（sell），現鈔或即期。","inputSchema":{"type":"object","required":["amount","cur"],"properties":{"cur":{"type":"string"},"type":{"enum":["cash","spot"],"type":"string"},"amount":{"type":"number"},"direction":{"enum":["buy","sell"],"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":88,"tokensAfter":88},{"name":"destination_info","fixed":{"name":"destination_info","description":"熱門目的地（沖繩、北海道、福岡、名古屋、釜山、濟州島、富國島、胡志明市、河內）的機場、電壓插頭、入境與行前提醒。","inputSchema":{"type":"object","properties":{"id":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":48,"tokensAfter":48},{"name":"esim_estimate","fixed":{"name":"esim_estimate","description":"出國 eSIM 流量估算與設定說明（iPhone 支援機型、EID、臺灣門號收簡訊）。","inputSchema":{"type":"object","properties":{"days":{"type":"integer"},"usage":{"enum":["light","normal","heavy"],"type":"string"},"hotspot_people":{"type":"integer"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":71,"tokensAfter":71}],"toolsChanged":3,"tokensSaved":0,"todo":[{"tool":"convert_currency","params":["cur","type","amount","direction"]},{"tool":"destination_info","params":["id"]},{"tool":"domestic_travel","params":["type"]},{"tool":"esim_estimate","params":["days","usage","hotspot_people"]}],"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."}