Agent Engineering Toolkit

面向编码代理的可验证证明工作流

Agent Engineering Toolkit（AET）为编程 Agent 提供"携带证明"的工作流，将测试运行、变更文件、工件与 Agent 声明精准绑定到对应代码。其本地"陈旧证明"演示可直观展示：相关源码一旦改动，原本真实的 PASS 状态便会自动失效，且整个过程无需 LLM、API 密钥、云账户或任何产品遥测参与。