{"serverId":"mcp-registry/com.atxminisplit/hvac-directory","tools":[{"name":"get_company","fixed":{"name":"get_company","description":"Full verified record for one company (slug from search_companies or its profile URL).","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["slug"],"properties":{"slug":{"type":"string","maxLength":120}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"Company details"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":87,"tokensAfter":87},{"name":"price_benchmarks","fixed":{"name":"price_benchmarks","description":"Installed prices Austin-area contractors publish on their own websites, quoted as written.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false},"title":"Posted HVAC prices in Austin"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":65,"tokensAfter":65},{"name":"search_companies","fixed":{"name":"search_companies","description":"Find licensed HVAC / mini split contractors around Austin TX by city and service, ordered by the site's published score.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{"city":{"type":"string","maxLength":40,"description":"e.g. Austin, Round Rock, Cedar Park, Georgetown, Pflugerville, Kyle, Temple"},"limit":{"type":"integer","maximum":25,"minimum":1},"service":{"enum":["mini splits","heat pumps","AC repair","24/7 emergency","heating","maintenance","AC replacement"],"type":"string"},"financing":{"type":"boolean"}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"Search licensed Austin HVAC companies"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":179,"tokensAfter":179}],"toolsChanged":3,"tokensSaved":0,"todo":[{"tool":"get_company","params":["slug"]},{"tool":"request_mini_split_quote","params":["city","name","email","phone","rooms","units"]},{"tool":"search_companies","params":["limit","service","financing"]}],"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."}