{"serverId":"mcp-registry/de.gasthof-koller/speisenmcp","tools":[{"name":"get_menu","fixed":{"name":"get_menu","description":"Get the daily menu (Speiseplan): dishes with prices and the PDF last-updated date.","inputSchema":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":55,"tokensAfter":55}],"toolsChanged":1,"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."}