modu-ai/moai-adk

解决的问题

MoAI-ADK 是一个验证驱动的代理编排框架，旨在使 AI 生成的代码可信赖。它通过在系统级别禁止未经验证的声明，并将每个成功声明与实际命令输出绑定为证据，解决了代理声称测试通过但未实际运行的问题（即“幻觉式完成声明”）。

工作原理

它作为 Claude Code 的结构化封装，管理模型编排、推理深度和验证。它实现了结构化的 SPEC 生命周期（计划 → 运行 → 同步），并使用“看板模式”将工作拆分到多个终端（主控、计划、运行和同步会话）。通过确保每个会话仅携带其特定阶段相关的上下文，防止上下文窗口饱和。它还使用隔离的工作树和分支保护机制，确保并行执行时代理不会相互覆盖代码。

适用人群

专为使用代理式编码工具、需要严格质量控制、成本效率（Token 经济）以及能够管理在会话清除后仍能持续的长期任务的开发者和工程团队设计。

主要亮点

• 基于证据的验证：禁止未经验证的完成声明；每个声明必须与实际命令运行及其输出绑定。
• 看板与工厂模式：在多个专用会话间编排工作，优化上下文使用并支持并行处理。
• 并行安全隔离：使用专用工作树和分支状态保护机制，防止并行运行时意外覆盖代码。
• Token 经济优化：根据工作阶段声明性地分配模型和推理深度，以减少 Token 消耗（例如，使用低成本模型进行实现，高推理模型进行规划）。
• 自主边界：实施回合数、时钟时间及停滞保护的硬性限制，防止自主执行中的无限循环。
• 自我改进循环：将失败模式和路由决策记录到决策记忆中，以改进未来的运行。