MOTO Autonomous ASI AI Agent
by IntrafereMOTO 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.
Scan summary: scanned Nov 5, 2026 at commit e19ef25. Seen able to run shell commands, read environment and secrets. Scan policy
What MOTO Autonomous ASI can touch
- Seen in this scan, either in the code or while it ran.Run shell commandsFound in the code by our scan
- Our checks did not find this. The tool may still do it.Run dynamic codeNot seen in this scan
- Our checks did not find this. The tool may still do it.Read or write filesNot seen in this scan
- Seen in this scan, either in the code or while it ran.Read environment and secretsFound in the code by our scan
- Our checks did not find this. The tool may still do it.Control a web browserNot seen in this scan
- Our checks did not find this. The tool may still do it.Connect to databasesNot seen in this scan
- Our checks did not find this. The tool may still do it.Read or send messagesNot seen in this scan
- Our checks did not find this. The tool may still do it.Touch money or tradingNot seen in this scan
- Our checks did not find this. The tool may still do it.Connect to the internetNot run in this scan
"Not seen" means our checks did not find it, and the tool may still do it. Covers commit e19ef25, Nov 5, 2026. See the scan policy.
Before you install MOTO Autonomous ASI
AgenticMart scanned MOTO Autonomous ASI on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.
What it can access
- An AI agent decides its own next steps and calls whatever tools you give it, so its risk depends on the access you grant.
Before you install
- Pin the version you reviewed instead of always installing the latest release.
- Read the tool list or scripts before the first run, and keep approval prompts on for actions that write, send or delete.
- Maintained by Intrafere on GitHub, 92 stars and 15 forks. Popularity is not proof of safety.
- Last code change: Oct 30, 2026.
- Open-source license: MIT.
MOTO Autonomous ASI is an open-source ai agent by Intrafere, written mainly in Python. 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!
At a glance
- Stars
- 92
- Forks
- 15
- Language
- Python
- License
- MIT
- Created
- Jan 2026
- Last update
- Oct 30, 2026
- Type
- AI Agent
- Price
- Free
Topics
Questions about MOTO Autonomous ASI
What is 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!
Who maintains MOTO Autonomous ASI?
MOTO Autonomous ASI is maintained by Intrafere on GitHub (Intrafere/MOTO-Autonomous-ASI). AgenticMart lists it from public repository data.
Is MOTO Autonomous ASI safe to use?
AgenticMart scanned MOTO Autonomous ASI on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.
What license does MOTO Autonomous ASI use?
It is published under the MIT license.
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.
| Name | Stars | Licence | Last updated | Scan |
|---|---|---|---|---|
| MOTO Autonomous ASI (this page) Intrafere | 92 | MIT | Oct 30, 2026 | Scanned, no flagged issues |
| Paperclip paperclipai | 110k | MIT | Nov 1, 2026 | Scanned, no flagged issues |
| Ppt Master hugohe3 | 72k | MIT | Oct 30, 2026 | Scanned, no flagged issues |
| Llama Index run-llama | 53k | MIT | Oct 26, 2026 | Scanned, see report |
| Nanobot HKUDS | 50k | MIT | Oct 31, 2026 | Scanned, no flagged issues |
| Sim simstudioai | 30k | Apache-2.0 | Nov 1, 2026 | Scanned, see report |