{"serverId":"mcp-registry/app.railway.up.rent-check-production/irish-rent-check","tools":[{"name":"county_rent","fixed":{"name":"county_rent","description":"What is the average rent in an Irish county, and how much can a landlord raise rent in Ireland? Free: latest average asking rent for an Irish COUNTY (all bedrooms, all property types) from CSO/RTB RIQ02, plus a summary of current Irish rent-control rules (rent increase limit). Limited to 20 calls/day per client. Information, not legal advice.","inputSchema":{"type":"object","required":["area"],"properties":{"area":{"type":"string","description":"County, town or Dublin postal district, e.g. 'Dublin 4' or 'Ardee'"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":155,"tokensAfter":155},{"name":"list_areas","fixed":{"name":"list_areas","description":"Which Irish areas have rent data? Lists every county, town and Dublin postal district you can query. Free.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":54,"tokensAfter":54},{"name":"paid_country_bundle","fixed":{"name":"paid_country_bundle","description":"Housing picture for Ireland, Spain, France and Italy in one call. Paid ($0.05 USDC): Irish housing report for an area (default Dublin), Spanish INE, French DVF and Italian ISTAT house price reports, each with its own attribution. Information, not financial advice. This server holds no wallet and never pays: it returns the HTTP 402 payment requirements (x402 on Base USDC, or MPP on Tempo) to pay yourself.","inputSchema":{"type":"object","properties":{"area":{"type":"string","description":"IE county, town or Dublin postal district (default Dublin)"},"beds":{"type":"string"},"type":{"type":"string"},"fr_code":{"type":"string","description":"departement or INSEE commune code, default 75"},"es_region":{"type":"string","description":"e.g. madrid"},"it_region":{"type":"string","description":"e.g. milano"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":239,"tokensAfter":239},{"name":"paid_rent_check","fixed":{"name":"paid_rent_check","description":"What is the average rent for a 2-bed in Dublin 4, or in an Irish town? Paid ($0.02 USDC): town or Dublin postal-district rent, bedroom/type filters and 4- and 12-quarter trends. This server holds no wallet and never pays: it returns the HTTP 402 payment requirements (x402 on Base, MPP on Tempo) and the URL https://rent-check-production.up.railway.app/v1/rent-check. Pay with your own x402/MPP client and retry that URL.","inputSchema":{"type":"object","required":["area"],"properties":{"area":{"type":"string","description":"County, town or Dublin postal district, e.g. 'Dublin 4' or 'Ardee'"},"beds":{"type":"string","description":"All, One, Two, Three, Four plus"},"type":{"type":"string","description":"All, Apartment, Detached house, Semi detached house, Terrace house, Other flats"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":232,"tokensAfter":232}],"toolsChanged":4,"tokensSaved":0,"todo":[{"tool":"paid_country_bundle","params":["beds","type"]}],"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."}