← Back to all builds
Open Math Harness
Runtime for agents doing math research. Open models, scientific computing tools, and Lean autoformalization. Open source.
Related builds
ByteAsk
Open source AI coding agent for C and C++ in the terminal. Free plan.
Thimble
Open source Claude Code plugin that explains what an agent did, with visualizations in the terminal.
Calibrain
Open source project that runs a classification model against crypto perpetual markets on a testnet.
SuperMimic
Open source code for SuperMimic, a humanoid motion controller from Hybrid Robotics at UC Berkeley.
