証拠付きの行単位推論
Pruve はリポジトリ履歴をインデックス化し、コードの各行を、それを説明する issue、pull request、レビューコメント、ベンチマーク、または commit に結び付けます。証拠は要約されて隠されるのではなく、開いて確認できます。
Pruve
Pruve は、コードが存在する理由をリポジトリ履歴と記録済み証拠で示す読み取り専用の開発者向けツールです。
Pruve の役割
Pruve は、リポジトリの履歴を読み取り、開いて確認できるリンク付きの証拠とともに、コードの各行がその形になっている理由を説明する開発者向けツールです。証拠が存在しない場合は、理由を作り出すのではなく、その旨を示します。
ソースファイル自体ではなく、issue、pull request、レビューコメント、またはエージェントセッションに元の議論が残っているコードベース向けに作られています。リポジトリへのアクセスは読み取り専用で、MCP 経由でも公開されているため、エージェントはコードを編集する前に推論を確認できます。
機能
カバレッジと説明チェーン
Web アプリでは、その行が自分自身を説明できるかどうかが強調表示され、変更の背景にある完全な流れを issue、議論、決定、commit の順で表示できます。
記録された推論を横断検索
一般的なコード検索ではなく、Pruve は commit メッセージ、pull request のスレッド、レビューコメント、エージェントセッションなど、記録された推論を検索します。
MCP 経由の読み取り専用エージェントアクセス
Pruve は読み取り専用の MCP ツールを公開しており、エージェントはコードを編集する前に、その行が存在する理由を尋ねることができます。製品では、これによりエージェントが推論にアクセスでき、書き込み権限は与えないと説明されています。
任意のドキュメントゲート
pull request のドキュメントゲートは、関連する記録済みの推論がない変更を任意で失敗扱いにできます。ゲートはデフォルトでは助言的です。
組織ベースの料金モデル
料金は証拠付きの照会を除外し、回答の生成分のみ課金します。個人単位の席数ではなく、プールされた上限を使います。
主な使用例
疑わしいコード行を調査する
開発者やレビュー担当者が奇妙な定数、脆弱な条件分岐、マージに敏感な行を見つけ、変更する前に元の意図を知る必要があるときに Pruve を使います。
履歴付きコードへのオンボーディング
新しいチームメンバーが、現在の実装だけでなく、サブシステムの意思決定の流れを把握して、コードがその形になっている理由を理解したいときに使います。
意思決定の全体の流れを追跡する
コンテキストが 1 つの文書ではなく pull request やコメントに散らばっているときに、issue から benchmark、review、commit までの変更を再構成するために使います。
エージェントに変更前の確認を促す
エージェントが見慣れないコードを編集しようとしていて、意図を推測するのではなく、まず証拠を確認すべき場合に MCP ツールを使います。
レビューで文書化された変更を促す
pull request に記録された推論を含めたいときや、そうでない変更を失敗扱いまたはフラグ付けしたいときに、任意のドキュメントゲートを使います。
Pros and Cons
Pros
- コードを根拠のない推測ではなく、裏付けとなる証拠に結び付けます。
- オープンソース利用を含め、検索用の証拠アクセスを無料に保ちます。
- GitHub または GitLab の組織に対して読み取り専用で動作し、リポジトリへの書き込みを避けます。
- 読み取り専用の MCP ツールを通じて、エージェントがファイルを変更する前に確認する手段を提供します。
- pull request のゲートで、ドキュメント化の習慣を任意で強制できます。
Cons
- ホスト型製品はセルフホストではありません。self-managed GitLab と GitHub Enterprise Server は、Enterprise ソースとしてのみ言及されています。
- 生成回答は含まれる月間上限を超えると従量課金されるため、モデルが作成する要約を大量に使うと費用が増える可能性があります。
- この製品は、証拠で裏付けられる内容だけを説明します。理由が記録されていない場合、ありそうな答えを推測することはありません。
FAQ
Pruve はリポジトリに書き込みますか？
いいえ。Pruve はリポジトリの履歴と関連する証拠を読み取り専用で参照します。書き込み権限が付与されるのは、ドキュメントゲートを有効にした場合の任意の pull request チェック実行のみです。
ある行に対する証拠がない場合はどうなりますか？
その場合はその旨を示して停止します。記録された理由がない場合、Pruve は推測せず、何を検索したか、どれだけ見つかったかを報告します。
何が使用量としてカウントされますか？
生成された要約が使用量としてカウントされます。料金ページでは、private organisation プランでは月 2,000 件の生成回答が含まれ、それを超える生成回答はその後課金されると説明されています。
オープンソースは無料ですか？
オープンソースは永続的に無料です。製品ページでは、公開リポジトリは無料で対象となり、証拠はすべてのプランで無料のままであると説明されています。
Pruve はセルフホストできますか？
ホスト型製品については、まだ対応していません。Enterprise ではソースとして self-managed GitLab と GitHub Enterprise Server が対象になりますが、プラットフォーム自体はホスト型です。
Quick Facts
- カテゴリ
- 開発者向けツール
- ソースドメイン
- pruve.dev
- 主な表示面
- Web アプリ、拡張機能経由の GitHub 直接表示は近日対応予定、エージェント向け MCP
- リポジトリアクセス
- 読み取り専用
- 料金モデル
- private org では月額 99 ドル、生成回答はプール制、オープンソースは無料
- プラットフォーム対応
- GitHub と GitLab の組織。Enterprise ではソースとして self-managed GitLab と GitHub Enterprise Server に言及
Pruveの代替品
ByteAsk
ByteAskは、C/C++向けのターミナル起点AIコーディングエージェント。リポジトリを編集し、コンパイラやデバッガ、サニタイザ、テストで変更を検証してから差分を表示。無料枠あり。
CreateOS Sandbox
CreateOS Sandboxは、FirecrackerマイクロVM上でコードやエージェントのワークロードを実行できる分離型コンピュート環境です。SDK、CLI、MCPで制御可能。
hob
hobは、エージェントのセッション、ターミナル、履歴、後続作業を、既存のツールやプロバイダーに合わせて整理できる独立したコーディングエージェント向けワークスペース。ローカルでの制御を重視する開発者に最適。
Manta AI
Manta AIは、URLからアプリの挙動を把握し、回帰を検出し、スクリプトやセレクタ管理なしでテストを生成できる自律型Webアプリテストツールです。
SonOf
SonOfは、リポジトリとPMツールに接続し、コードベースと周辺の製品コンテキストを監査して、承認済みの作業をシニアエンジニアのレビュー付きで公開済みチケットに変えます。
Ghost
Ghostは、チャット、コード生成、コマンドラインでのタスク実行に対応したターミナル向けAIアシスタントです。無料モデルを同梱し、Linux、macOS、Windowsで使えます。オープンソースです。