Liza

基于行为合约的 Peer-Supervised 多代理编程系统，通过 Tier 0 不变量约束 AI 编程代理行为，支持 Planner-Coder-Reviewer 角色分工与外部验证机制，将 AI 编程代理从"急切助手"转变为"可靠的高级工程同伴"。

项目定位#

Liza 是一个基于行为合约的多代理编程系统，核心目标是将 AI 编程代理从"急切助手"转变为"可靠的高级工程同伴"。项目通过四大支柱实现这一目标：行为合约、规格系统、黑板协调、外部验证。

核心能力#

行为约束体系#

Tier 0 不变量：禁止未批准状态变更、虚构、测试篡改、未验证成功声明
Tier 1-3 降级机制：压力下可按层级降级行为约束

协调机制#

Blackboard Coordination：共享 state.yaml 追踪目标、任务、分配、历史
Leases 机制：任务租约制，过期可回收
Hypothesis exhaustion：两编码者失败同一任务时自动触发任务重构

质量保障#

外部验证：编码者不能自我认证，必须由代码审查者批准
Commit SHA 验证：编码者提交 SHA，审查者验证后再审查
Approval-gated Merge：仅代码审查者批准后可合并
43+ 验证规则：严格状态机转换

代理角色#

角色	职责	禁止行为
Planner	分解目标为任务、重构失败任务	实施代码
Coder	认领任务、迭代实现、TDD 开发	自我批准或合并
Code Reviewer	审查工作、批准或拒绝、合并	实施代码

任务生命周期#

DRAFT → READY → IMPLEMENTING → REVIEWING → APPROVED → MERGED
             │              │
             │              └─> REJECTED ──┐
             ├──> BLOCKED ──> READY (rescoped)
             │                ├──> SUPERSEDED
             │                └──> ABANDONED
             └──> INTEGRATION_FAILED ──┘

部署模式#

Pairing Mode — 人机配对，人类批准关卡
Multi-Agent Mode — 多代理协作，代理相互监督
Subagent Mode — 委托子代理执行专注任务

快速开始#

# macOS/Linux 安装
curl -fsSL https://raw.githubusercontent.com/liza-mas/liza/main/install.sh | bash

# 验证安装
liza version

# 初始化项目
liza setup
liza init "Project goal" --spec specs/vision.md

LLM 兼容性#

✅ Claude Opus 4.5（参考提供商）
✅ GPT-5.2-Codex
⚠️ Mistral Devstral-2（需要显式激活和监督）
❌ Gemini 2.5 Flash（架构限制）

系统要求#

Claude Code 或 Codex CLI
Git 2.38+ (完整 worktree 支持)
Go 1.25.5+ (仅从源码构建需要)

设计哲学#

"The contract defines what's forbidden; the shape that remains is where judgment lives." — 合约定义禁止事项，剩余空间留给判断力。