Archon

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

项目数据

分类智能体
开发团队frenzymath
所属国家
官网地址https://frenzymath.com
GitHubhttps://github.com/frenzymath/Archon
定价模式开源免费
价格区间
是否开源是
开源协议Apache-2.0
主要语言Python
技术栈/模型ai-agents,automation,claude,claude-code,codex,dag,formal-methods,lean,lean4,mathematics,proof-assistant,theorem-proving
GitHub 星标★ 192
30天Star增速
HF 下载量
上线时间2026-03-22 00:00:00
最近更新2026-08-09 00:00:00
维护状态活跃
中文支持
访问方式
移动端支持
综合评分
收录时间2026-08-09
浏览次数0

核心亮点

    不足之处

      适用场景

        替代项目

        项目介绍

        Archon 是一个智能体领域的开源项目，官方简介：AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.。项目使用 Python 开发，在 GitHub 上获得 191 星标。

        上一篇：skills

        下一篇：jenkins-cli

        同类项目推荐

        WorkBuddy-Guide 开源

        中文流程照着抄，知识管理到交付一条龙全搞定

        WorkBuddy 中文实践知识库与办公交付工作流｜OPCspace 旗舰项目

        ★ 0 2026-08-09
        onefilellm 开源

        Specify a github or local repo, github pull request, arXiv or Sci-Hub paper, Youtub···

        ★ 2003 2026-08-09
        BrowserOS 开源

        The open-source Agentic browser; alternative to ChatGPT Atlas, Perplexity Comet, Dia···

        ★ 13096 2026-08-09