What we build.

Fig. 5 — The floor. Seven instruments, assembled block by block until they reach the mark, shipped, and started again. Decorative: the pace is not a metric.

01 Pacenote An open-source framework for building coding agents. Python v0.9.2.3 → 02 Novalis A workspace terminal your coding agents can drive. Rust In development → 03 staxtrace Local-first observability and memory for AI coding sessions. Rust Public → 04 Bourbaki An autonomous agent for mathematical reasoning and proof. Python Public → 05 Erdős Navigator A toolkit for agents to explore and attempt Erdős's 1,217 unsolved problems. Python Public → 06 Study: RL Foundations through RLHF, DPO, GRPO, RLVR, agentic RL and offline RL. Notes Public → 07 kiln A local-first CLI that runs the idea lifecycle. Rust In development →