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 即可测试运行时和策略。