autoforge

     _         _        _____
    / \  _   _| |_ ___ |  ___|__  _ __ __ _  ___
   / _ \| | | | __/ _ \| |_ / _ \| '__/ _` |/ _ \
  / ___ \ |_| | || (_) |  _| (_) | | | (_| |  __/
 /_/   \_\__,_|\__\___/|_|  \___/|_|  \__, |\___|
                                       |___/

AI 多智能体框架 — 自主科研推理 · 形式化证明 · 全栈项目生成

English | 开发者文档

目录

• 安装与配置
  • 安装
  • 首次运行引导
  • 支持的 LLM 提供商
  • 系统要求
• 三种工作模式
• 学术与科研能力
  • 端到端文章推理
  • 形式化验证与定理证明
  • 自主科研发现
  • 论文全流程
  • 论文复现管线
  • 核心技术来源
  • 算法优先架构
• 工程能力
  • 5 阶段流水线
  • 6 智能体协作
  • 智能引擎
• CLI 命令参考
• 守护进程模式
• 待落实：DAG 联邦同步

安装与配置

安装

pip install autoforgeai       # 从 PyPI 安装
autoforgeai                  # 启动（首次运行自动进入配置引导）

pip install "autoforgeai[openai]"    # OpenAI 支持
pip install "autoforgeai[google]"    # Google Gemini 支持
pip install "autoforgeai[search]"    # Web 搜索能力
pip install "autoforgeai[channels]"  # Telegram / Webhook 频道
pip install "autoforgeai[all]"       # 全部安装

git clone https://github.com/AlyciaBHZ/autoforge.git
cd autoforge
pip install -e ".[all]"

首次运行引导

首次运行 autoforgeai 会自动进入交互式配置向导，全部步骤均可跳过（Ctrl+C），之后随时用 autoforgeai setup 重新配置：

步骤 1 │ 配置 LLM 提供商（可选）
       │   选择 Anthropic / OpenAI / Google（可多选）
       │   每个提供商支持多种认证方式（API Key、OAuth、Bedrock、Vertex AI 等）
       │   选择强模型（Director/Architect 使用）和快模型（Builder/Tester 使用）
       │
步骤 2 │ 预算上限（默认 $10）
       │
步骤 3 │ 并行 Builder 数量（默认 3，最多 8）
       │
步骤 4 │ Docker 沙盒（可选，用于隔离构建环境）
       │
步骤 5 │ GitHub 环境
       │   自动检测 git 和 gh CLI
       │   可选配置自动推送到 GitHub

配置保存在 ~/.autoforge/config.toml，也可以通过环境变量覆盖。

DAG 联邦同步（社区共享知识）配置

如果你要开启“本地 DAG/理论图 ↔ 远端知识服务”同步，需要额外配置以下环境变量：

# 1) 开关（不配默认关闭）
export FORGE_DAG_FEDERATION_ENABLED=true

# 2) 远端快照服务地址（必填）
export FORGE_DAG_FEDERATION_ENDPOINT="https://your-domain/api/dag/snapshot"

# 3) 可选：鉴权
export FORGE_DAG_FEDERATION_API_KEY="your_token"

# 4) 可选：网络超时（秒，默认 10）
export FORGE_DAG_FEDERATION_TIMEOUT_SECONDS=15

运行行为：

• 启动时：先从 FORGE_DAG_FEDERATION_ENDPOINT 拉取远端知识快照，合并到本地。
• 结束时：把本次运行后的合并结果推送回远端。

远端接口约定（当前实现）：

• GET <endpoint>：返回 JSON 快照（capability_dag + 可选 theories）
• POST <endpoint>：接收同结构 JSON 快照并保存

最小可用配置只有 2 项：FORGE_DAG_FEDERATION_ENABLED=true + FORGE_DAG_FEDERATION_ENDPOINT=...

支持的 LLM 提供商

支持的认证方式：

支持跨厂商混搭模型：

export FORGE_MODEL_STRONG=o3              # 强模型用 OpenAI
export FORGE_MODEL_FAST=gemini-2.5-flash  # 快模型用 Google

OpenAI Subscription Notes

• Codex OAuth will start browser login immediately during setup (with manual URL fallback if auto-open fails).
• When both selected default models are OpenAI and auth method is codex_oauth/device_code, setup and interactive mode skip the USD budget prompt.
• Thinking level is configurable via openai_reasoning_effort in ~/.autoforge/config.toml or env FORGE_OPENAI_REASONING_EFFORT (minimal|low|medium|high|xhigh|none).

系统要求

• Python 3.10+ — python.org
• 至少一个 LLM API Key — Anthropic / OpenAI / Google
• Git（推荐）— 用于 Worktree 隔离并行构建
• Docker（可选）— 用于沙盒执行
• Lean 4（可选）— 用于形式化定理证明

三种工作模式

配置完成后，autoforgeai 进入交互式会话，第一步选择工作模式：