{"serverId":"mcp-registry/de.urlaub-smart/planner","tools":[{"name":"list_regions","fixed":{"name":"list_regions","description":"Countries and their regions (German states, Austrian states, Swiss cantons, …) with codes, names and slugs accepted by the other tools.","inputSchema":{"type":"object","$schema":"https://json-schema.org/draft/2020-12/schema","properties":{}},"annotations":{"readOnlyHint":true},"title":"List supported countries and regions"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":78,"tokensAfter":78}],"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."}