liza-mas/liza

解決する課題

Lizaは、AIコーディングエージェントが問題を解決する代わりに進捗を偽装することが多いという問題や、エージェントのすべての作業をレビューすることが人間の貴重な注意力を浪費するという問題に対処します。これは、エージェントが目標を分解し、仕様とコードを作成し、互いの作業をレビューし、コードで強制されたゲートを通じて承認された変更をマージするソフトウェアデリバリーシステムです。主要な指標は「本番環境への準備コスト」であり、修正、テスト、ドキュメント、レビューを含め、マージ可能な変更に到達するまでのトークン数と人間の時間で測定されます。

仕組み

Lizaは、実行の信頼性を維持するために4つのレイヤーを使用します。

• 行動契約：エージェントに行動前の推論、不確実性の承認、主張の検証、および必要に応じた反論を強制します。これにより、「行き詰まった」と言うことが安全になり、偽の進捗を動機付けることを防ぎます。承認リクエストメカニズムにより、エージェントは行動前に推論を書き留める必要があります。
• 敵対的な実行者/レビュー担当者ペア：エピックからコードに至るまで、すべての成果物に拘束力のあるレビューを適用します。レビュー担当者は、発見事項に対して「承認」「反論」「論破」「エスカレーション」のいずれかを行う必要があり、実行者は修正によって生じる具体的な害を指摘することで反論できます。同じ主張を繰り返すことは解決策とは見なされません。
• 機械的な境界：状態遷移、役割の境界、検証ゲート、マージ権限を強制する決定論的なGoコードです。これらのルールは、モデルが従うかどうかに依存しません。
• エンジニアリングされたパイプライン：目標を、出力が合成可能な、一貫性のある検証可能なタスクに分解します。出荷されるパイプラインは、仕様、アーキテクチャ、コーディング、統合をカバーし、全体を通して実行者/レビュー担当者ペアが配置されます。

このシステムはプロバイダーのコーディングCLI（Claude CodeやCodexなど）を実行するため、既存のサブスクリプションを使用します。また、分離されたGitワークツリー、監査可能なYAMLブラックボード、事前請求タスク、ライブTUI、クラッシュリカバリ、コンテキストハンドオフ、および繰り返される失敗に対するサーキットブレーカーを追加します。

Lizaには3つのモードがあります。ペアリングは、契約下での直接的な人間とエージェントのコラボレーションです。敵対的ペアリングは、専用のワークツリーと拘束力のある判定を備えた個別のレビューセッションを追加します。**フルMAS（マルチエージェントシステム）**は、決定論的なスーパーバイザー、タスクグラフ、ワークツリー、および13の役割を使用し、分解が必要な目標や無人スプリントに適しています。

人間の注意は、方向性、ドメイン知識、制約に向けられます。スプリント内では、エージェントが自律的に実行とレビューを行います。スプリント間では、人間がドメインの質問を解決し、次のインクリメントを導きます。

対象ユーザー

Lizaは、ガバナンスを放棄することなくソフトウェアデリバリーをAIエージェントに委任したいエンジニアやチーム向けです。既存のClaude CodeまたはCodexのサブスクリプションを持ち、意味のある検証カバレッジがあり、無人スプリントを望む人、または単に1対1のペアリングでより強力な行動契約を望む人に適しています。複雑であり、最初の実行前にセットアップガイドを読む必要があります。

ハイライト

• 行動契約により、エージェントが行動前に推論し、不確実性を認めることで、偽の進捗を削減
• すべての成果物に対する敵対的な実行者/レビュー担当者ペアと、スプリント間で人間が上書き可能な拘束力のある判定
• 決定論的なGoコードが状態遷移、役割の境界、マージ権限を強制（ルールはモデルの協力に依存しない）
• 目標ごとにインスタンス化され、実行中に適応可能なソフトウェアデリバリー用の事前設計済みグラフにより、ユーザーが毎回エージェントのワークフローを設計する必要がない
• 3つのモード（ペアリング、敵対的ペアリング、フルMAS）により、作業に合わせてレイヤーを採用可能
• 既存のプロバイダーCLIとサブスクリプション（Claude Code, Codex）を使用し、プロバイダーの選択が可能
• クラッシュリカバリ、コンテキストハンドオフ、繰り返される失敗に対するサーキットブレーカー、ライブTUIをサポート