{"serverId":"mcp-registry/io.github.christophjonetzko-stack/kranvergleich","tools":[{"name":"check_availability_by_plz","fixed":{"name":"check_availability_by_plz","description":"Check real-world supplier availability per crane type for a given German PLZ. Returns, for each crane type in the catalog, the count of active suppliers within 50 km and 100 km plus the distance to the nearest supplier. Use this BEFORE recommending a crane type so you can prefer locally available options when functionally equivalent — transport for a crane >100 km adds €800-1500 to the customer's bill. Decision rule: when the functionally ideal type has no supplier within 50 km but a substitutab","inputSchema":{"type":"object","required":["plz"],"properties":{"plz":{"type":"string","description":"5-digit German PLZ (postal code), e.g. '89584', '10115'"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":199,"tokensAfter":199},{"name":"find_crane_rental_companies","fixed":{"name":"find_crane_rental_companies","description":"Find crane rental companies (Kranvermietung) in a city in Germany or Austria. Returns company name, Google rating and a link to request a free quote via KranVergleich (several suppliers with one request, offers can be compared). Sorted by Google rating (descending); no paid placement.","inputSchema":{"type":"object","required":["city"],"properties":{"city":{"type":"string","description":"City name in Germany or Austria, e.g. 'Berlin', 'München', 'Wien' (min. 2 characters)"},"limit":{"type":"integer","default":5,"description":"Maximum number of results (default 5, max 20)"},"crane_type":{"enum":["minikran","autokran","dachdeckerkran","raupenkran","anhaengerkran","mobilkran","baukran","ladekran"],"type":"string","description":"Crane type filter (optional)"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":229,"tokensAfter":229},{"name":"get_crane_rental_prices","fixed":{"name":"get_crane_rental_prices","description":"Get typical rental prices for cranes in Germany. Returns day/week/month price ranges for all 8 crane types or a specific type.","inputSchema":{"type":"object","properties":{"crane_type":{"enum":["minikran","autokran","dachdeckerkran","raupenkran","anhaengerkran","mobilkran","baukran","ladekran"],"type":"string","description":"Crane type to get prices for (optional — omit for all types)"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":123,"tokensAfter":123}],"toolsChanged":3,"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."}