VIITRANSLATIOMMXXVI · 2026
Danus for Windows
Tab. VII把 frenzymath 的数学推理智能体系统 Danus 移植到原生 Windows，不需要 WSL；另有一个让 Claude Code 担任主智能体的分支。
缘起
在 Danus 里，一个主智能体调度一组 Codex 工人去求证；结论成不成立，由一个冷启动的验证者判定，验证过的结果存进事实图。上游只支持 POSIX，而我的研究在 Windows 上做，不想为此单独装一套 WSL。
过程
原来的 shell 层一行没改：在 POSIX 上照常运行，git pull 依然干净。Windows 这边是一套平行的新文件，加上七个 Python 模块里带注释的小改动；其中两处改的是语义，而不只是写法，各自单独写进了文档。Codex 用自己的设备码登录，不需要 API key。
另一个分支把主智能体换成 Claude Code，工人和验证者保持不变。
结果
这些都是我个人的分支，没有合进上游。Danus 的设计和论文属于 frenzymath 的作者们。