sipyourdrink-ltd/bernstein

Deterministic orchestrator for CLI coding agents (Claude Code, Codex, Gemini CLI, +40 more). No model in the coordination loop, so parallel runs in per-task git worktrees replay byte-identically. Signed lineage plus an opt-in HMAC audit chain a reviewer checks offline, without rerunning it. Cluster mode, air-gap deploy. https://bernstein.run

何を解決するか

BernsteinはCLIコーディングエージェントのための決定論的オーケストレーターです。LLMを調整ループから削除し、再現可能なPythonベースのスケジューラーに置き換えることで、マルチエージェントAIワークフローにおける非決定論と説明責任の欠如という問題を解決します。これにより、エージェントのタスクが互いに隔離され、すべてのアクションが暗号学的に検証可能になります。

仕組み

BernsteinはプレーンなPythonスケジューラーを使用して、どのエージェントが実行されるか、その予算、およびタスクグラフを決定し、プランを再再生すると同じ結果が得られることを保証します。各タスクを独自のgit worktreeに分離し、マージ前にlint、型、テストのゲートを適用します。説明責任を確保するため、MerkleチェーンとHMAC-SHA256監査ログを使用した常時オンの系統スパインと再生ジャーナルを維持し、ユーザーがオフラインでアーティファクトの由来と実行の正確な手順を検証できるようにします。

対象者

高い保証、再現性、監査可能なAI駆動のコーディングワークフローを必要とする開発者およびチーム、特にエアギャップ環境で動作している場合や、コードの生成方法について厳密な暗号学的証明が必要な場合。

ハイライト

決定論的スケジューリング: 調整ループにLLMが存在せず、エンドツーエンドで再現可能な実行。
暗号学的検証可能性: HMACチェーン監査ログ、Merkleチェーンイベントジャーナル、署名済みエージェントカードを使用して改ざん防止記録を確保。
エージェントの隔離: 各タスクは必須マージゲートを伴う別々のgit worktreeで実行。
広範な互換性: 40以上のCLIエージェントアダプター（例：Claude Code、Codex、Gemini CLI）をサポートし、エアギャップインストールプロファイルを含む。
コスト管理: ネットワークルックアップをスケジューリング中に行わず、ハッシュピン止めされた価格表を使用してタスクまたは実行ごとにUSD予算を強制。
検証可能なガバナンス: RBACと予算チェックは、署名済み系統スパインの決定論的射影。