
PromiseProof
producthunt.com
AI修复代码,但不应自证清白。
1个月前制作者:Alexandre Paiva
关于 PromiseProof
PromiseProof 为使用编码智能体提供了一种更安全的方式。它通过一个三阶段流程确保代码修复的可靠性与可审计性:AI 提出修复方案,人类审核批准,而最终验证由不可篡改的确定性验证器完成,AI 模型无权自行判定“通过”。
核心功能
- 三阶段安全流程:AI 模型(如 GPT-5.6)负责分析问题并提出修复方案,人类开发者审核并批准精确的补丁,最后通过一个不变的确定性验证器执行验证,AI 无法绕过人类或篡改测试结果。
- 浏览器内可运行:您可以直接在浏览器中体验 PromiseProof,无需复杂部署。
- 证据可审计:支持篡改证据、复现密封报告,或在 CI 中运行相同的验证流程,确保每次修复都可追溯、可复现。
主要特性
- 人类在环中:所有代码补丁必须经过人类批准,避免 AI 自主修改导致的不可控风险。
- 确定性验证:使用不可变的验证器,AI 模型无法自评“通过”,杜绝虚假成功。
- 透明可审计:提供完整的证据链,支持第三方审计和 CI 集成。
- 轻量级体验:无需安装,浏览器即可运行,降低使用门槛。
适用场景
- 安全敏感的开发环境:如金融、医疗等需要严格代码审查的领域。
- AI 辅助编程的合规场景:需要记录每次 AI 修改的完整审计日志。
- 教育与研究:演示 AI 代码修复的可靠流程,或研究人机协作的最佳实践。
PromiseProof 重新定义了 AI 代码修复的信任边界——让验证回归确定性,让人类始终掌握最终决定权。