{"serverId":"mcp-registry/ai.gethal/mcp","tools":[{"name":"describe_hal","fixed":{"name":"describe_hal","description":"Explains how the HAL autonomous sales agent works: the six-stage pipeline (find → research → qualify → quality control → draft → send) and key traits.","inputSchema":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":75,"tokensAfter":75},{"name":"get_company_info","fixed":{"name":"get_company_info","description":"Returns the company name, operator, contact email, homepage, and a short description of gethal.ai.","inputSchema":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":61,"tokensAfter":61},{"name":"get_customer_profile","fixed":{"name":"get_customer_profile","description":"Returns the target customer profile for gethal.ai (industries, team sizes, regions, representative use cases) and any public reference customers.","inputSchema":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":75,"tokensAfter":75},{"name":"get_features","fixed":{"name":"get_features","description":"Returns the six core features of gethal.ai with one-line descriptions.","inputSchema":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":52,"tokensAfter":52},{"name":"get_playbook","fixed":{"name":"get_playbook","description":"Returns the HAL playbook: guides and cheat sheets on working with each product (for Outreach: what HAL does in each pipeline stage, and the requests customers send HAL most), with page URLs and PDF downloads in English and Danish. Optionally filter by product.","inputSchema":{"type":"object","properties":{"product":{"enum":["Outreach","Inbox-agent","Saga","vitr"],"type":"string","description":"Only return guides for this product."}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":141,"tokensAfter":141},{"name":"get_pricing","fixed":{"name":"get_pricing","description":"Returns pricing for all four HAL products (Outreach, inbox-agent, Saga, vitr) plus the Outreach plans (Team, Enterprise) with monthly and yearly rates and included features.","inputSchema":{"type":"object","properties":{"billing":{"enum":["monthly","yearly","both"],"type":"string","description":"Which billing cadence to return. Defaults to \"both\"."}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":118,"tokensAfter":118},{"name":"get_products","fixed":{"name":"get_products","description":"Returns the four HAL products (Outreach, inbox-agent, Saga, vitr): what each does, how it works on its own and together with the others, its page URL and pricing model.","inputSchema":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":80,"tokensAfter":80},{"name":"get_use_cases","fixed":{"name":"get_use_cases","description":"Returns representative B2B sales use cases (outbound prospecting, market expansion, partner-channel sales) with example prompts.","inputSchema":{"type":"object","properties":{},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":69,"tokensAfter":69}],"toolsChanged":8,"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."}