thruwire/foreman

解決的問題

Foreman 是一項架構實驗，旨在解決監督緩慢、具狀態的編碼代理的問題。它引入了一個快速決策模型（Jev）作為監督者，獨立評估編碼代理是否在進展、是否卡住，或是否已完成需求，而無需編碼代理停止其工作。

工作原理

Foreman 作為一個原生 Python asyncio 執行環境，包含兩個並行循環：編碼代理循環（如 Codex 執行實際工程任務）和 Foreman 循環（監督者）。

當工作進程活躍時，Foreman 收集「工廠證據」——包括 git 狀態、有界差異、工作進程歷史和輸出末尾——並將此緊湊狀態傳送給 Jev 模型。Jev 為九個不同維度（例如 implementation_complete、worker_stuck、needs_human）返回機率分數。一個決定性 Python 策略將這些機率轉換為行動，如繼續、透過指導引導工作進程、停止卡住的進程，或啟動一個獨立的驗證器。

適用對象

對代理式軟體工程和「語義監督」概念感興趣的開發者與 AI 研究人員，其中快速、專用的模型會監控整個軟體工廠的運作情況。

主要亮點

• 並行監督：監督者在不中斷工作進程的「思考-工具-觀察」循環的情況下，即時監控工作進程。
• 機率評估：使用 Jev 模型獨立且並行地評估多個監督問題。
• 即時引導：透過 App Server 協定向活躍的 Codex 輪次傳送指導資訊。
• 安全優先策略：實施決定性的干預層級（例如，優先考慮人類介入而非繼續工作）。
• 決定性示範：包含模擬模式，無需 API 金鑰或 Codex CLI 即可測試執行環境與策略。