MOTO is an automated theorem generator for science. It's a creative novelty-seeking researcher with autonomous Lean 4 proof generation. Run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No inte
Python Updated 6 days ago 1 commits 90 stars
cipher-agent|Mirror: Intrafere/MOTO-Autonomous-ASI (⭐90)
6 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
MOTO is an automated theorem generator for science. It's a creative novelty-seeking researcher with autonomous Lean 4 proof generation. Run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No inte
Readme
90 stars
14 forks