MOTO-Autonomous-ASI

开源 开源免费 智能体
访问官网 ↗ GitHub ↗ 文档 ↗
GitHub 星标 ★ 77
维护状态 较活跃
是否开源 是
定价模式 开源免费

项目数据

分类智能体
开发团队Intrafere
所属国家
官网地址https://intrafere.com/moto-autonomous-home-ai/
GitHubhttps://github.com/Intrafere/MOTO-Autonomous-ASI
定价模式开源免费
价格区间
是否开源是
开源协议MIT
主要语言Python
技术栈/模型ai-inference,ai-research,automated-discovery,automated-proof-generation,automated-theorem-discovery,automated-theorem-generation,automated-theory-discovery,autonomous,autonomous-agent,autonomous-agents,autonomous-ai,autonomous-systems,large-language-models,lean,lean4,mathematics,multi-agent,python,superintelligence,theoretical-physics
GitHub 星标★ 77
30天Star增速
HF 下载量
上线时间2026-01-11 00:00:00
最近更新2026-07-22 00:00:00
维护状态较活跃
中文支持
访问方式
移动端支持
综合评分
收录时间2026-08-09
浏览次数2

核心亮点

    不足之处

      适用场景

        替代项目

        项目介绍

        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!。项目使用 Python 开发，在 GitHub 上获得 77 星标。

        上一篇：Myco

        下一篇：superagentx

        同类项目推荐

        AutoGPT 开源

        开箱即用的 AI 员工，交代任务就自己干完

        AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mis···

        ★ 186456 2026-08-09
        autoresearch 开源

        扔个问题给它，全网资料自动整理成报告

        Claude Autoresearch Skill — Autonomous goal-directed iteration for Claude Code. Ins···

        ★ 5805 2026-08-09
        langflow 开源

        拖拽搭 AI 工作流，从想法到接口一键部署

        Langflow is a powerful tool for building and deploying AI-powered agents and workflo···

        ★ 152982 2026-08-09
        caura-memclaw 开源

        多个智能体共享同一套记忆，协作不各说各话

        Governed shared memory for AI agent fleets — multi-agent, multi-tenant, MCP-native.···

        ★ 420 2026-08-09