saphan-ai/proven は、コード変更をレビューし、証明できる問題だけを報告するよう設計された Go コードレビュアーです。報告を行うには、バグを再現するテストか、リスクを確認できるデータが必要です。リポジトリには最新リリース版が提示されていません。Apache-2.0 ライセンスで公開されており、リポジトリの説明によると、Open Agent Hackathon 2026 のために Saphan Studio と複数の AI エージェントが開発したものです。
このツールの核心は、疑いだけで問題を断定せず、繰り返し確認できる根拠を要求することです。README はコード変更のレビューに加え、コマンドライン検査や依存関係の証拠収集の事例を紹介しています。セキュリティ審査では、コードを複数の境界領域に分けて独立に調査し、結果を比較했으며、発見した弱点は試験で確認した後に修正したと記録しています。ネットワークや資格情報なしで実行する例も含まれています。この資料はレビュー手順と根拠の扱いを示しています。
ただし、README が説明しているのはハッカ tonedの開発日誌と段階的な実行記録、事例です。リポジトリの説明には実際のデプロイや利用範囲に関する情報は示されておらず、最新リリースの記録もありません。したがって、現時点で確認できる強みは、証拠を求めるレビュー姿勢と、その過程を示す資料であり、それを越えて製品の成熟度まで判断できる根拠は限られています。