Show HN：Keel——给 AI 智能体一套类型化策略语言，而非交易账户

事件

开发者用 AI 智能体在 Hyperliquid 上构建系统化交易策略已超过一年，并逐步搭建出一套可靠的策略表示、测试与部署系统。常见做法有两种：一是让大模型直接进入执行循环做决策和交易，但速度慢、不稳定且难以审计；二是让智能体写全部代码并回测，但它在时间序列数据和不同时间周期上容易犯大量细微错误，代码复用也差。即便配合合适的框架，正确性仍难保证，人工快速验证也很困难。

为此团队构建了 Keel，一种用于表示策略的小型类型化语言（DSL）。它用一组定义明确的组件搭建步骤 DAG，并携带类型和时钟信息。智能体因此获得极快的反馈循环：策略能被快速校验，许多常见错误被提前规避；在 DAG 中查看中间结果也很方便。校验通过的策略会被生成指纹，回测与实盘运行的是完全相同的产物。由于组件自描述、阅读路径基本线性，人类也更容易验证策略。

目前团队仍在扩展可表示的策略类型范围，并改进大模型从自然语言到策略的转换效果。作者认为，很多提升其实来自给智能体更好、更快的工具以及更短的反馈回路。

来源

本条目由采集管线自动抓取并发布，完整内容见下方来源链接。

*采集源：Hacker News*