liza-mas/liza

它解决了什么问题

Liza 解决了 AI 编码智能体往往伪造进度而非解决问题，以及审查其所有工作会消耗稀缺的人类注意力的问题。这是一个软件交付系统，智能体在此系统中分解目标、生成规范和代码、相互审查工作，并通过代码强制执行的门禁合并已批准的变更。关键指标是“达到生产就绪的成本”：达到可合并变更所需的 token 数量加上人类时间，包括修正、测试、文档和审查。

工作原理

Liza 使用四个层级来确保执行的可靠性：

• 行为契约：使智能体在行动前进行推理、承认不确定性、验证主张并在必要时提出异议。它使说“我卡住了”变得安全，而不是激励伪造进度。批准请求机制强制智能体在行动前写下其推理过程。
• 对抗性执行者/审查者对：对从史诗任务到代码的每一个工件应用绑定审查。审查者必须接受、反驳、驳回或升级发现的问题；执行者可以通过指出其修复将造成的具体危害来质疑审查结果。重复相同的断言不是解决方案。
• 机械边界：是确定性的 Go 代码，用于强制执行状态转换、角色边界、验证门禁和合并权限。这些规则不依赖于模型是否选择遵守它们。
• 工程化流水线：将目标分解为内聚的、可验证的任务，其输出可以组合。交付的流水线涵盖规范、架构、编码和集成，全程配备执行者/审查者对。

该系统运行提供商的编码 CLI（如 Claude Code 和 Codex），因此它使用现有的订阅。它增加了隔离的 Git 工作树、可审计的 YAML 黑板、预认领任务、实时 TUI、崩溃恢复、上下文移交以及针对重复失败的断路器。

Liza 有三种模式。配对模式是在契约下的直接人机协作。对抗性配对模式增加了一个带有专用工作树和绑定裁决的独立审查会话。**完整 MAS（多智能体系统）**使用确定性监督者、任务图、工作树和十三个角色，适用于需要分解和无人值守冲刺的目标。

人类的注意力用于方向、领域知识和约束。在冲刺期间，智能体自主执行和审查。在冲刺之间，人类解决领域问题并引导下一个增量。

适用人群

Liza 适合那些希望将软件交付委托给 AI 智能体而不放弃治理权的工程师和团队。它适合拥有现有 Claude Code 或 Codex 订阅、具备有意义的验证覆盖率并希望进行无人值守冲刺的人，或者仅仅希望在一对一配对中获得更强行为契约的人。它很复杂，在首次运行前需要阅读设置指南。

亮点

• 行为契约使智能体在行动前进行推理并承认不确定性，减少伪造进度
• 针对每个工件的对抗性执行者/审查者对，具有人类可以在冲刺之间覆盖的绑定裁决
• 确定性的 Go 代码强制执行状态转换、角色边界和合并权限——规则不依赖于模型的配合
• 为软件交付预先设计的图，在每个目标实例化并在执行期间可调整，因此用户无需每次都设计智能体工作流
• 三种模式：配对、对抗性配对和完整 MAS，因此可以采用不同的层级来匹配工作
• 使用现有的提供商 CLI 和订阅（Claude Code, Codex），并支持可配置的提供商选择
• 支持崩溃恢复、上下文移交、针对重复失败的断路器以及实时 TUI