Skip to content
#

superintelligence

Here are 15 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 Oct 3, 2026
  • Python

A public, verifiable archive and completed pre-ASI human–superintelligence relation record with three Bitcoin Originals, Core Object Alpha, and non-amending verification and preservation systems.

  • Updated Oct 4, 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