{"serverId":"mcp-registry/dev.danielsuchan/eu261","tools":[{"name":"check_eligibility","fixed":{"name":"check_eligibility","description":"Check if a flight qualifies for EU261 delay compensation and compute the € amount","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["origin","destination","arrival_delay_minutes"],"properties":{"origin":{"type":"string","description":"Origin airport IATA code (e.g. VIE)"},"destination":{"type":"string","description":"Destination airport IATA code (e.g. JFK)"},"carrier_country":{"type":"string","description":"Carrier's home country code (e.g. AT for Austrian)"},"arrival_delay_minutes":{"type":"number","description":"Arrival delay in minutes (0 = on time)"}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":190,"tokensAfter":190},{"name":"get_price_history","fixed":{"name":"get_price_history","description":"Retrieve stored price history for a route","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["route"],"properties":{"route":{"type":"string","description":"Route, e.g. VIE-JFK"}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":83,"tokensAfter":83},{"name":"list_airports","fixed":{"name":"list_airports","description":"List all known airports with EU status","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":50,"tokensAfter":50}],"toolsChanged":3,"tokensSaved":0,"todo":[{"tool":"record_price","params":["carrier","fare_eur"]}],"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."}