官网查看
定制方案
- ✓
暂未采集到具体套餐，价格以官网为准
Agent Engineering Toolkit
面向编码代理的可验证证明工作流
Agent Engineering Toolkit 是什么？
Agent Engineering Toolkit（AET）为编程 Agent 提供"携带证明"的工作流，将测试运行、变更文件、工件与 Agent 声明精准绑定到对应代码。其本地"陈旧证明"演示可直观展示：相关源码一旦改动，原本真实的 PASS 状态便会自动失效，且整个过程无需 LLM、API 密钥、云账户或任何产品遥测参与。
产品详细介绍
面向编码代理的可验证证明工作流
Agent Engineering Toolkit（AET）为编程 Agent 提供"携带证明"的工作流，将测试运行、变更文件、工件与 Agent 声明精准绑定到对应代码。其本地"陈旧证明"演示可直观展示：相关源码一旦改动，原本真实的 PASS 状态便会自动失效，且整个过程无需 LLM、API 密钥、云账户或任何产品遥测参与。
定价方案
需要付费创始人评论
Jun chen Lin创始人
我构建 AET 是因为多次看到编码代理交接中"测试通过"在执行时为真，但在后续编辑后就不再适用的情况。v1.18.0 的陈旧性证明演示让这一边界变得可复现：它运行真实的单元测试，记录 EXACT_MATCH，更改相关源文件，然后报告 RELEVANT_FILES_CHANGED，同时保留历史性的 PASS。
AET 是本地化的、以证据为先的。它不能取代 CI、推断完整覆盖率、为开发者信任打分，也不会授权合并或发布。我尤其希望听到审阅代理生成变更的维护者的反馈：在真实代码库中，哪些新鲜度错误会造成最大的摩擦？
创始团队
Jun chen LinBuilding open-source agent tooling
