Intrafere/MOTO-Autonomous-ASI

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!

82Stars on the repository
13Mods indexed here, across every type
todayLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

api-key-controls

01

Intrafere/MOTO-Autonomous-ASI

Cursor rule Cursor

Cloud provider keys, Boost routing, Supercharge, free-model fallback, and workflow metrics.

not rated 82 changed today A 10,559 tokens original MIT

hosted-web-contract

03

Intrafere/MOTO-Autonomous-ASI

Cursor rule Cursor

Hybrid deployment contract — genericmode, hosted sandbox, proxy auth, web-team boundary, updater policy.

not rated 82 changed today A 5,620 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: