{"serverId":"pulsemcp/pro-flight-search","tools":[{"name":"airport.get_delay_status","fixed":{"name":"airport_get_delay_status","description":"Get live airport-level delay, cancellation, and weather flight-rules for one airport. Accepts IATA code, city, or airport name. Alias of get_airport_delay_status for clients that prefer dot-notation tool names.","inputSchema":{"type":"object","required":["airport"],"properties":{"format":{"enum":["plain","markdown"],"type":"string","description":"Output format. Use plain for SMS-style replies; markdown includes formatted links. Defaults to plain."},"airport":{"type":"string","description":"Airport IATA code, city, or airport name. Examples: JFK, LHR, Copenhagen, Chicago O'Hare."}}},"annotations":{"title":"Get airport delay status","readOnlyHint":true,"openWorldHint":false,"idempotentHint":true,"destructiveHint":false},"title":"Get airport delay status"},"changes":[{"kind":"name","detail":"Renamed \"airport.get_delay_status\" → \"airport_get_delay_status\" (letters, digits, _ and - only; max 64). Keep the old name as an alias for a release if clients already call it.","verify":true}],"tokensBefore":178,"tokensAfter":178},{"name":"airport.search_supported","fixed":{"name":"airport_search_supported","description":"Search Pro Flight Search tracked airports when a user's airport reference is ambiguous. Returns matching IATA codes to use with airport.get_delay_status. Alias of search_supported_airports for clients that prefer dot-notation tool names.","inputSchema":{"type":"object","required":["query"],"properties":{"query":{"type":"string","description":"Airport code, city, or airport name to search. Examples: London, Paris, Chicago, ORD."}}},"annotations":{"title":"Search supported airports","readOnlyHint":true,"openWorldHint":false,"idempotentHint":true,"destructiveHint":false},"title":"Search supported airports"},"changes":[{"kind":"name","detail":"Renamed \"airport.search_supported\" → \"airport_search_supported\" (letters, digits, _ and - only; max 64). Keep the old name as an alias for a release if clients already call it.","verify":true}],"tokensBefore":135,"tokensAfter":135}],"toolsChanged":2,"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."}