{"serverId":"mcp-registry/com.getvahada/vahada","tools":[{"name":"happy_hours_now","fixed":{"name":"happy_hours_now","description":"Discounted drinks being served AT THIS MOMENT, with how long each has left. Turkey time. Use for 'is there a happy hour near me right now' or 'cheap drinks in Beyoğlu tonight'. Returns an empty list when nothing is running, which is a real answer rather than an error.","inputSchema":{"type":"object","properties":{"area":{"type":"string","description":"District or neighbourhood, e.g. 'Kadıköy'. Omit for all of Turkey."},"limit":{"type":"integer","maximum":25,"minimum":1,"description":"How many to return (default 10)."}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false},"title":"Happy hours running right now"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":158,"tokensAfter":158},{"name":"list_areas","fixed":{"name":"list_areas","description":"Which Turkish districts and neighbourhoods Vahada has enough priced venues to answer for, and how many venues each has. Call this first when unsure whether an area is covered.","inputSchema":{"type":"object","properties":{"city":{"type":"string","description":"Filter to one city, e.g. 'Istanbul'."}}},"annotations":{"readOnlyHint":true},"title":"Areas with price data"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":94,"tokensAfter":94}],"toolsChanged":2,"tokensSaved":0,"todo":[{"tool":"venues_near","params":["latitude","longitude"]}],"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."}