Skip to content
#

superintelligence

Here are 23 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

Homing Pigeon is a self-hosted cloud-SI-controlled local agent and protocol. Tell your cloud SI (Grok, ChatGPT, etc.) to send signed jobs via email which then execute on your machine: Linux, macOS, FreeBSD, Windows or any container. An oracle on the host watches to ensure nothing bad or unintended occurs. Modern LLMs, meet: netcat. 20m+ sec-tokens.

  • Updated Nov 9, 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 Nov 9, 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