sipyourdrink-ltd/bernstein

解決的問題

Bernstein 提供 AI 代理的治理與協調層，解決多個代理執行時缺乏可重現性、可審計性與安全性之問題。透過將 LLM 從協調迴圈中移除，防止「不穩定」的代理行為，並確保代理行為可驗證且隔離，避免破壞共享工作區。

作法

Bernstein 使用純 Python 寫成的決定性排程器，根據「策略即程式碼」來管理代理工作負載。

1. 分解：管理員將目標分解為具體任務，並分配角色與完成信號。
2. 隔離：每個程式碼任務在獨立的 git worktree（非程式碼資產則使用一般目錄）中啟動，確保代理之間不共享可變狀態。
3. 驗證：「清潔工」程序在合併前驗證具體信號，例如測試通過或語法檢查。
4. 可審計性：系統維護重播日誌與譜系主幹。啟用審計模式時，會建立 HMAC 串連的審計日誌與簽署收據，可離線驗證以證明執行期間的確切情況。

適用對象

專為需要在類似生產環境中執行 AI 代理（如 CLI 程式碼代理）的開發者與組織設計，要求具備安全性、合規性以及可驗證的工作證據。

主要亮點

• 決定性協調：不使用 LLM 進行排程，確保執行可重現。
• 離線驗證：簽署收據讓審查者可在無需原始環境的情況下驗證執行完整性。
• 廣泛相容性：包含超過 40 個 CLI 代理的適配器（如 Claude Code、Aider、Gemini CLI）。
• 隔離工作區：使用 git worktree 保持主分支乾淨，並隔離代理任務。
• 策略即程式碼：使用 YAML 清單定義複雜代理工作流程的階段、角色與相依性。