察元AI能力广场 · 智能体应用

MOTO-Autonomous-ASI

Stars 92 · 作者 Intrafere

基于Lean 4的自主自动化科学定理生成器，支持多模型并行运行且无需交互。

详细介绍

MOTO 是一个用于科学领域的自动定理生成器，扮演着具有探索创新能力的自主研究员角色。它支持自主生成 Lean 4 证明，启动后可连续运行数天且无需人工交互。系统支持本地 LM Studio、OpenRouter 或 OAuth 等多种后端并行工作。适合从事形式化验证、数学研究或自动化科学发现的研究人员使用。

智能体编排 自动化 本地模型 研究调研 科研科学 联网搜索

官方入口 · 源码仓库

同类智能体应用推荐

• OpenDevin — 一个开源的AI软件开发智能体
• ruflo — 原始智能体框架，支持多智能体蜂群部署、自主工作流协调及自适应记忆集成。
• DeepSeek-Reasonix — 专用于终端的DeepSeek原生AI编码代理，针对前缀缓存稳定性设计，支持持续运行
• shanyin-screenwriting-master — 山音影视编剧大师，覆盖从超短片到多集剧集的全格式创作
• hermes-agent — 一个用于构建和管理AI代理的框架。
• Agent-Reach — 一款支持多渠道触达的AI代理服务。
• learn-claude-code — 一个提供Claude代码示例与教程的学习资源库。
• career-ops — 一款用于职业发展和简历管理的自动化工具。

浏览全部智能体应用 · 返回察元AI首页