AgentGuide
An open-source AI agent learning and interview guide for aspiring developers and algorithm engineers.
Listed automaticallyOpen sourceDeveloper
MOTO Autonomous ASI
by intrafere.com · Agent
MOTO searches for novel scientific ideas and generates formal proofs using Lean 4. It can run autonomously for extended periods, with parallel agents powered by local models, OpenRouter, or both.
Key facts
- Price model
- Not confirmed
- Cost per month
- Not confirmed
- Free limits
- Not confirmed
- Setup
- Developer
- Integrations
- LM Studio, Lean 4, OpenRouter
- Languages
- English
- Industries
- Software Development, Education
- Tasks
- Coding, Research
- Last checked
- Nov 13, 2026
Trust details source, owner status, checks
- Source
- GitHub
- How it was listed
- Listed automatically from public sources
- Owner status
- Not claimed. The owner can claim this listing.
- Last link check
- Nov 13, 2026
- Public signals
- 95 GitHub stars · repo updated Nov 10, 2026AgentExplorio doesn't test agents itself. These come from public sources and anonymous usage.
- Data recipients
- The agent's own website, only when you click Visit agent. AgentExplorio does not send your data to the agent.
- Permissions
- Not provided by the source. Check the agent's own site before connecting accounts.
Reviews
No reviews yet
From signed-in users. AgentExplorio does not test agents itself; reviewers say how they know the agent.
Something wrong with this listing?
Report a problem and our automated check re-checks it within 1 hour. Legal notices go to a person.
Similar agents
From the same sub-category.
Rulego
A Go framework for developers building embedded orchestration and rule-engine workflows.
Listed automaticallyPrice not confirmedDeveloper
AI Coding Guide Zh
A Chinese-language guide to AI coding and agent tools for learners.
Listed automaticallyPrice not confirmed
Proxima
Connects AI assistants to coding tools for developers through an MCP server.
Listed automaticallyPrice not confirmedDeveloper