autoforgeai 2.7.11

AutoForge AI-powered multi-agent development platform

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

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

English | 开发者文档

---

目录

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

---

安装与配置

安装

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

可选依赖

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

从源码安装

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

首次运行引导

首次运行 forgeai 会自动进入交互式配置向导，全部步骤均可跳过（Ctrl+C），之后随时用 forgeai 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，也可以通过环境变量覆盖。

支持的 LLM 提供商

提供商	环境变量	强模型	快模型
Anthropic	ANTHROPIC_API_KEY	Claude Opus 4.6	Claude Sonnet 4.5
OpenAI	OPENAI_API_KEY	Codex 5.3、o3、GPT-4o	o4-mini、GPT-4o-mini
Google	GOOGLE_API_KEY	Gemini 2.5 Pro	Gemini 2.5 Flash、Gemini 2.0 Flash

支持的认证方式：

认证方式	适用提供商	说明
API Key	全部	最简单，推荐入门使用
Codex OAuth	OpenAI	浏览器登录，使用 ChatGPT 订阅额度
Device Code	OpenAI	无头/SSH 环境
OAuth2 Client Credentials	Anthropic、OpenAI	企业级
Bearer Token + Custom URL	Anthropic、OpenAI	Azure、LiteLLM 等代理
Amazon Bedrock	Anthropic	AWS Profile / Access Key / Instance Role
Google Vertex AI	Anthropic	GCP Project + ADC
ADC / Service Account	Google	Google Cloud 原生认证

支持跨厂商混搭模型：

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

系统要求

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

---

三种工作模式

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

? Select mode:
❯ Development — generate complete runnable projects
  Academic — scientific reasoning, theorem proving, theory evolution
  Verification — review & verify existing codebases

模式	用途	支持的操作
Development	全栈项目生成	生成新项目、导入并增强已有项目
Academic	科研推理与定理证明	生成研究项目、分析已有代码库
Verification	代码审查与验证	审查项目质量、安全性、架构

每种模式下可进一步设置预算和并行度，然后用自然语言描述任务即开始。

---

学术与科研能力

AutoForge 内置完整的学术科研流水线，可作为 AI 驱动的自主科研助手使用——从输入一篇论文到输出一篇新论文，全部自动化。

端到端文章推理

输入任意一篇论文，自动完成：解析 → 理论图谱构建 → 声明验证 → 形式-非形式交错推理 → Lean 4 形式化 → 自主发现 → Elo 假说排序 → 推理扩展 → 同行评审 → 输出新论文

核心编排模块：article_reasoning.py — 统一 8 阶段管线

形式化验证与定理证明

模块	功能	技术方法
Lean 4 MCTS 证明搜索	策略空间蒙特卡洛树搜索	HILBERT 递归分解 + COPRA + STP
Lean Lake 集成	真实 Lean 4 编译与 Mathlib 项目管理	Lake 构建系统，32 组概念→import 映射
Pantograph REPL	增量策略应用，无需全量编译	TACAS 2025，机器-机器 Lean 4 交互，BFS/DFS 搜索
GRPO 可验证奖励训练	组相对策略优化 + 脚手架渐进 RL	DeepSeek-Prover-V2 (88.9% miniF2F) + Scaf-GRPO
Kimina 交错推理	非形式-形式交错单次生成证明	Kimina-Prover (80.7% miniF2F)
DPO 策略优化	直接偏好优化，免奖励模型	BFS-Prover-V2 state-tactic DPO
多证明器交叉验证	Coq、Isabelle、TLA+、Z3/SMT、Dafny	6 后端并行验证
密集嵌入检索	前提选择替代 Jaccard	ReProver/LeanDojo 风格 + FAISS
证明嵌入迁移	跨领域策略迁移学习	向量记忆库 + FAISS + 经验追踪
标准基准评测	miniF2F / PutnamBench / LeanWorkbook / ProofNet	Pass@k 无偏估计

自主科研发现

模块	功能	技术方法
自主定理发现	从论文提取核心 → 生成猜想 → 过滤新颖性 → 评估深度	DomainContext 模板 + Thompson 采样策略选择
Elo 假说锦标赛	假说两两对决 → Elo 排序 → 筛选最优	Google AI Co-Scientist (2025) 风格
自对弈猜想生成	双智能体 Conjecturer/Prover 对弈	STP (ICML 2025) + 贝叶斯难度校准
推理核心自增长	从最小公理核心出发，迭代生成深层结论	Thompson 采样 + 出版级质量门控
跨领域科学推理	TheoryGraph + 超图 n 元关系 + 12 种推理策略	SciAgents HyperEdge + 10 种验证模式融合
结构化世界模型	TheoryGraph 时序查询层 + 跨会话持久化	Kosmos (2025)
课程学习	复杂度排序 + 正迁移追踪	LeanAgent (ICLR 2025)

论文全流程

模块	功能	技术方法
闭环实验管线	假设 → 代码 → 运行 → 分析 → 消融实验 → 迭代	AI Scientist v2
自动论文撰写	LaTeX 生成 + BibTeX + 图表 + 模板	NeurIPS/ICML/ICLR/ArXiv 模板
文献检索与分析	引用图谱遍历 + SPECTER2 语义搜索 + 全文分析 + 研究空白检测	Semantic Scholar API + arXiv
VLM 图表分析	图表提取 → 视觉分析 → 数据提取 → 复现 → 验证	视觉语言模型
符号计算后端	SymPy/SageMath 集成，LaTeX↔SymPy 双向转换	代数恒等式验证 + 极限/级数检查
同行评审模拟	多审稿人 + 作者反驳 + 元审稿 + 迭代修改	6 种审稿角色

论文复现管线

AutoForge 支持从高层研究目标出发，自动推断相关论文并构建复现方案：

forgeai paper infer "improve sample efficiency in offline RL"   # 推断相关 ICLR 论文
forgeai paper benchmark                                         # 评估推断质量
forgeai paper reproduce "goal" --with-pdf --run-generate        # 端到端复现

管线流程：研究目标 → OpenReview 论文检索 → TF-IDF 排序匹配 → 信号提取 → 复现方案生成 → 可选自动执行

核心技术来源

技术	来源	关键创新
GRPO 可验证奖励	DeepSeek-Prover-V2 (2025, 88.9% miniF2F)	组相对优势取代 PPO critic
交错推理模式	Kimina-Prover (2025, 80.7% miniF2F)	非形式+形式交错单次生成
Pantograph REPL	TACAS 2025	增量策略应用，10x+ 编译加速
DPO 策略偏好	BFS-Prover-V2 (72.95% miniF2F)	直接偏好优化免奖励模型
Elo 假说排序	Google AI Co-Scientist (2025)	两两对决动态排序
超图知识表示	SciAgents + Hypergraph KG (2025)	n 元关系取代二元关系
达尔文自改写	Darwin Gödel Machine (2025)	演化自重写智能体宪法
脚手架渐进 RL	Scaf-GRPO (2025, 44.3%↑ AIME)	分层提示 + 渐进撤除
PUCT-MCTS	AlphaProof (DeepMind, 2024)	AlphaZero 适配策略空间
递归分解	HILBERT (NeurIPS 2025)	informal reasoner + prover + verifier + retriever
自对弈猜想	STP (ICML 2025, 28.5% LeanWorkbook)	贝叶斯难度校准 50% 甜区
密集前提检索	ReProver / LeanDojo (NeurIPS 2023)	FAISS 索引替代 Jaccard
课程学习	LeanAgent (ICLR 2025)	复杂度排序 + 正迁移终身学习
闭环实验	AI Scientist v2 (2025)	假设→代码→执行→分析→消融→迭代
过程奖励模型	CodePRM (2024)	步级质量评估
语言强化学习	Reflexion (NeurIPS 2023)	语言化记忆 + 失败模式避免

---

工程能力

AutoForge 同时也是一个全栈代码生成引擎——6 个 AI 智能体协作，将自然语言描述转化为完整可运行的代码项目。

5 阶段流水线

  "做一个带登录的 Todo App"
           │
           ▼
  ┌────────────────────────────────────────────────┐
  │  SPEC       Director 分析需求、拆解模块         │
  ├────────────────────────────────────────────────┤
  │  BUILD      Architect 设计架构                  │
  │             Builder 并行写代码，Reviewer 审查    │
  ├────────────────────────────────────────────────┤
  │  VERIFY     Tester 安装依赖、构建、运行测试      │
  │             失败自动生成修复任务                 │
  ├────────────────────────────────────────────────┤
  │  REFACTOR   Gardener 优化代码质量               │
  ├────────────────────────────────────────────────┤
  │  DELIVER    生成 README、整理结构、成本报告      │
  └────────────────────────────────────────────────┘
           │
           ▼
     workspace/my-todo-app/

另有两条专用管线：

• Review 管线： SCAN → REVIEW → REFACTOR → REPORT
• Import 管线： SCAN → REVIEW → ENHANCE → VERIFY → REFACTOR → DELIVER

6 智能体协作

智能体	角色	模型层级
Director	需求分析与范围界定	Strong（强模型）
Architect	系统设计与任务依赖图	Strong（强模型）
Builder	代码生成（可并行，最多 8 个）	Fast（快模型）
Reviewer	代码审查与评分	Fast（快模型）
Tester	构建、测试、自动修复循环	Fast（快模型）
Gardener	重构与安全修复	Fast（快模型）

智能引擎

47 个内置引擎在构建全流程中自动协作：

• MCTS 搜索树 — 架构方案探索与择优，基于执行反馈动态修正
• 自然语言梯度反馈 (EvoMAC) — Agent 间通过文本反向传播互相优化
• 过程奖励模型 (CodePRM) — 逐步评估代码质量，而非仅看最终结果
• 自适应算力分配 — 根据任务难度动态调整推理深度
• 语言强化学习 (Reflexion) — 从失败中提取经验，重试时自动规避
• 块级故障定位 (LDB) — 精确定位缺陷到代码块级别
• 函数级任务分解 — 复杂需求拆解为可独立验证的子任务
• 阶段预执行 — 流水线各阶段重叠并行，加速构建
• 达尔文自改写 (SICA) — 演化式自重写智能体宪法与工作流
• 安全扫描 (RedCode) — 模式匹配 + LLM 深度漏洞分析
• 跨项目 RAG — BM25+TF-IDF 混合跨项目代码检索
• 知识图谱自增长 (CapabilityDAG) — 跨项目能力积累，社区可合并

成本估算

复杂度	示例	预估成本
简单	Todo App、落地页	$2–3
中等	博客系统、预约平台	$4–6
复杂	电商 MVP、多角色平台	$7–10

默认预算上限 $10，可通过 --budget 覆盖。

---

CLI 命令参考

# 交互式（推荐）
forgeai                                        # 引导式会话

# 项目生成
forgeai generate "用 Flask + Vue 做书店管理系统"
forgeai generate "SaaS 落地页" --budget 3.00

# 代码审查
forgeai review ./my-project

# 导入增强
forgeai import ./my-project --enhance "加上暗色模式"

# 运行管理
forgeai status                                 # 查看所有项目
forgeai resume                                 # 恢复中断的任务
forgeai setup                                  # 重新配置

# 论文复现
forgeai paper infer "research goal"            # 推断相关论文
forgeai paper benchmark                        # 评估推断质量
forgeai paper reproduce "goal" --run-generate  # 端到端复现

全局可选参数：--budget、--agents、--model、--mode、--mobile、--tdd、--verbose

---

守护进程模式

AutoForge 可作为 24/7 后台服务运行，通过 CLI、Telegram 或 Webhook 接收构建请求：

forgeai daemon start                           # 启动守护进程
forgeai daemon status                          # 查看状态
forgeai daemon stop                            # 停止

forgeai queue "支持 Markdown 的博客系统"        # 排队构建
forgeai projects                               # 查看所有项目
forgeai deploy <project_id>                    # 显示部署指南

支持 systemd (Linux) 和 launchd (macOS) 系统服务安装，详见 services/ 目录。

---

许可证

MIT