saphan-ai/proven —— 基于证据的代码审查工具

saphan-ai/proven 是一个 Go 代码审查工具，用于审查代码变更并只报告能够证实的问题。只有在存在能复现缺陷的测试或能确认风险的数据时，它才会出具报告。仓库中没有给出最新发布版本。该项目以 Apache-2.0 许可证公开，据仓库说明，它由 Saphan Studio 与多个 AI 智能体为 Open Agent Hackathon 2026 打造。

该工具的核心在于：它不会仅凭怀疑就断定存在问题，而是要求可以反复核对的依据。README 除代码变更审查之外，还介绍了命令行检查和依赖证据收集的案例。在安全审查中，它把代码划分为多个边界区域分别独立考察并比较结果，同时记录称所发现的弱点经试验确认后已修复。资料中还包含无需网络和凭据即可运行的示例。这些材料展示了审查流程以及依据的处理方式。

不过，README 所描述的其实是黑客松开发日志、分阶段执行记录和若干案例。仓库说明中并未给出实际部署或使用范围的信息，也没有记录最新发布版本。因此，目前能够确认的强项在于要求证据的审查方式以及展示这一过程的资料，而要在此之外进一步判断产品的成熟度，可依据的资料是有限的。