Skip to content
#

superintelligence

Here are 111 public repositories matching this topic...

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 internet required. Star us for more!

  • Updated Nov 1, 2026
  • Python

Add this topic to your repo

To associate your repository with the superintelligence topic, visit your repo's landing page and select "manage topics."

Learn more