〖开源〗Codex PROVE 更新：接入 GPT-6，Astra 主控，Sol / Terra / Luna 分工干活

作者：#xkk 板块：#资源荟萃 本帖使用社区开源推广，符合推广要求。我申明并遵循社区要求的以下内容： 我的帖子已经打上 开源推广 标签： 是 我的开源项目完整开源，无未开源部分： 是 我的开源项目已链接认可 LINUX DO 社区： 是 我帖子内的项目介绍，AI生成、润色内容部分已截图发出： 是 以上选择我承诺是永久有效的，接受社区和佬友监督： 是 以下为项目介绍正文内容，AI生成、润色内容已使用截图方式发出 2026-09-27 更新 前面有佬反馈，流程维护开销太大，经常 blocked，还得反复批准。我当时说再优化一下，这次把模型分工和这些问题一起改了。 现在是： Astra 主控：理解需求、拆任务、分配和审核。 Sol 专项：处理难题、复杂排查。 Terra 常规：日常开发、测试和集成。 Luna 批处理：做规则明确、重复性高的任务。 小任务还是当前 Codex 直接做，值得拆的再拆，没必要每次四个模型全上。 这次主要做了几处减法： 减少重复的身份确认，少跑空流程。 已授权的本地修改和测试，遇到可修复的问题继续处理，减少不必要的 blocked。真正需要新权限或你做决定时再问。 独立任务可以并行，有依赖的按顺序，同一个文件只交给一个执行者。 借鉴 Ponytail，优先复用项目已有实现，少加没必要的依赖和抽象。 费用也按新模型重新整理了。按 README 的示例配比和编排开销，同一组 token 预算，全程 Astra $15，PROVE 分工约 $5.66，预计少 62.3%。 这里比的是 token 费用，不是运行速度，实际节省取决于任务分配。计算方式和假设都放在这里。 用法没变，任务前加 [$codex-prove](/Users/kin3/.agents/skills/codex-prove/SKILL.md)。旧用户更新仓库后，记得重新运行安装脚本，再开新会话。 更新日记 2026-09-26 升级 GPT-6 模型分工，减少重复确认和不必要的停顿，完善跨平台安装、备份与恢复检查。 2026-08-20 发布 v1.0.0，更名为 Codex PROVE。完善任务分工、文件所有权、结果审核和长任务恢复。 这次更新已合入 main，尚未发布 v1.1 稳定版，新四模型的完整联跑验证还没全部补齐。 GitHub：yehyakin/codex-prove 感谢佬们的反馈，尤其是前面提到的流程开销问题。省额度的同时，也得让人用着省事。