MOTO Autonomous ASI AI Agent

by Intrafere• 92•• Scanned•Claim this listing•Request removal
Productivity & Workflowai inferenceai researchautomated discoveryautomated proof generationautomated theorem discovery

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!

MOTO Autonomous ASI is an open-source ai agent by Intrafere, written mainly in Python, with 92 GitHub stars and the MIT license. Its code was last updated Oct 30, 2026.

aboutREADMEsecurityreviews
–
No reviews yet
Write a review

Sign in with GitHub to rate this listing.

    MOTO Autonomous ASI alternatives

    View more →

    Similar ai agents in Productivity & Workflow, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.

    NameStarsLicenceLast updatedScan
    MOTO Autonomous ASI (this page)
    Intrafere
    		92MITOct 30, 2026Scanned, no flagged issues
    Paperclip
    paperclipai
    		110kMITNov 1, 2026Scanned, no flagged issues
    Ppt Master
    hugohe3
    		72kMITOct 30, 2026Scanned, no flagged issues
    Llama Index
    run-llama
    		53kMITOct 26, 2026Scanned, see report
    Nanobot
    HKUDS
    		50kMITOct 31, 2026Scanned, no flagged issues
    Sim
    simstudioai
    		30kApache-2.0Nov 1, 2026Scanned, see report