TheAlphaEngineerCode/proofforge
GitHub: TheAlphaEngineerCode/proofforge
ProofForge 通过为每次代码变更生成可签名、可哈希验证的 proof-manifest，让 AI 生成或人工编写的代码变更都附带可独立验证的技术证据和风险评分。
Stars: 1 | Forks: 0
# ProofForge
**具备可验证变更的自主软件工程**
_具备可验证变更的自主软件工程_
[](./LICENSE)
[](./docs/evidence-spec.md)
[](./ROADMAP.md)
## 问题
AI 编写代码的速度超过了任何团队的审查速度。但没有信任的速度是一种隐患：一个“看起来没问题”的 diff 可能会泄露机密、引入有漏洞的依赖项、导致性能倒退，或者将不可逆的迁移带入生产环境。无论变更是由人类编写还是由模型生成，最核心的问题都是一样的——
## 解决方案
ProofForge 将每次变更视为一个 **Proof-Carrying Change（携带证明的变更）**：没有附加可验证的技术证据，任何修改都不会被认为是值得信任的。
对于任何 pull request 或 agent 生成的变更，ProofForge 都会在一个 **隔离的 sandbox** 内运行测试、安全扫描、依赖和许可证分析、性能基准测试以及架构检查，计算出一个 **透明的风险评分**，应用 **可配置的策略**，并生成一个经过签名且可哈希的 **`proof-manifest.json`**，任何其他机器都可以独立对其进行验证。
它有两种工作模式：
- **验证模式** — 将其指向现有的 pull request；它会生成证据和结论。
- **Agent 模式** — 用自然语言描述任务；planning agent 会提出计划，implementation agent 会编写代码，一个 **独立的 reviewer agent** 会对代码进行评审，整个变更会连同其证据包一起交付。
## 为什么与众不同
| 大多数 AI 开发工具 | ProofForge |
| --- | --- |
| 生成代码并祈祷它没问题 | 生成 **并且** 验证，作为独立的步骤 |
| 模糊的“在我看来没问题” | 确定性的、**可解释的风险评分** |
| 信任模型 | 必须由 **独立的 reviewer agent** 认可 |
| 在任何地方运行任何东西 | **Sandbox 隔离**，默认无网络，绝不在主机上运行 |
| 锁定于一家 AI 供应商 | **与供应商无关的** AI 层 |
| 没有记录可查 | 经过签名、可哈希的 manifest，可通过 CLI 复现 |
## 架构（概览）
```
Web Dashboard → API Gateway → { Repository Analyzer · Agent Orchestrator · Evidence Engine }
→ Queue / Event Bus → Sandbox Workers
→ PostgreSQL · Object Storage · OpenTelemetry
```
完整设计见 [ARCHITECTURE.md](./ARCHITECTURE.md)，决策记录见
[docs/adr/](./docs/adr/)。
## 快速开始
要求 **Node ≥ 20.11**、**pnpm ≥ 9**，以及（可选）用于本地基础设施的 **Docker**。
```
git clone 标签：AI编程助手, MITM代理, WebSocket, 代码审查, 依赖分析, 搜索引擎查询, 数据管道, 测试用例, 用户代理, 自动化攻击, 请求拦截, 软件工程, 逆向工具