Danus for Windows

Tab. VII

TRANSLATIO · 2026

frenzymath’s mathematical reasoning agent system Danus, ported to native Windows with no WSL, plus a branch that makes Claude Code the main agent.

Year: 2026
Kind: Open-source port
Role: Windows port · Claude orchestration branch
Disciplines: Agents · Research · Tools
Tools: Python · Codex · Claude Code · PowerShell

Brief

In Danus a main agent sends a group of Codex workers to prove things; whether a conclusion stands is decided by a verifier that starts cold, and verified results go into a fact graph. Upstream supports only POSIX, my research runs on Windows, and I didn’t want to install WSL just for this.

Process

The original shell layer is untouched: it still runs on POSIX, and git pull stays clean. The Windows path is a parallel set of new files plus small, commented changes in seven Python modules; two of those change meaning rather than just syntax, and each is documented. Codex signs in with its own device code, so no API key is needed.

A second branch swaps the main agent for Claude Code and leaves the workers and the verifier as they were.

Outcome

These are my own branches and haven’t been merged upstream. Danus’s design and paper belong to its authors at frenzymath.