# Provena
项目地址：https://github.com/youki992/Provena
[](https://github.com/youki992/Provena/blob/main/README.md#provena)

**证据驱动的安全测试智能体 · CLI 命令行版本**

把一句自然语言目标，变成针对单个授权目标的有界、可审计测试

[![provena chat：交互式会话，包含会话信息、/help 命令列表和 /graph 输出的 FGS 图](/media/202610/dc101e60e6c64488ac481b68b3e0a75f7748.png)](https://github.com/youki992/Provena/blob/main/images/chat.jpg)

Provena 把一句自然语言目标，转化为针对单个授权目标的有界、可审计安全测试。

每一次运行都会驱动 Pi harness 走一条 fact/intent 图流程：由模型决定下一步做些什么，而 Provena 则负责调用内置工具执行，每次获取的证据都会记录进只追加的 FGS 图中，最终生成报告。

项目以 Go 编写，工具以 YAML 配置文件进行配置，同一个智能体既能调用本地扫描器，也能调用远端 MCP 服务或 Provena 内置工具。

|     | 能力            | 说明                                   |
|-----|---------------|--------------------------------------|
| 🧠  | Pi harness 驱动 | 模型只负责决策，工具由 Provena 判断是否需要调用执行       |
| 🕸️ | 只追加的 FGS 图    | 观察事实记录进 fact/intent 图，产生结论前必须要存在对应证据 |
| 🧰  | 100+ 工具配置     | YAML 声明、MCP 调用；支持配置本地扫描器工具与远端 MCP    |
| 📄  | 三种报告格式        | md / json / sarif，SARIF 可直接接入进 CI    |
| 🙋  | HITL 审批       | 高风险动作可先审批，可由人工或审计 Agent 接管           |
| 📦  | 单文件交付         | Windows / Linux 开箱即用的可执行文件           |

证据驱动安全测试智能体