Intrafere/MOTO-Autonomous-ASI

• 类型：github
• 标识：Intrafere/MOTO-Autonomous-ASI
• 链接：https://github.com/Intrafere/MOTO-Autonomous-ASI
• 主题：agent, llm-infra
• 主分类：agent
• 形态：app
• 分类：ai
• Stars：92
• 周增：+0
• 语言：Python
• 许可：MIT
• 最近提交：2026-11-01
• 简介：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!
• 上次采集：2026-11-02
• 首次采集：2026-11-02
• 待LLM分类：否
• 成熟度：experimental
• 来源文件：
• [GitHub Search]