orvixx-labs/orvix-provepr は、コーディングエージェントが作業を終えたと述べる前に変更主張を実際に確認するツールである。最新リリースは v0.3.0 である。エージェントが点検計画を作成すると、provepr は計画に記載された検査をブラウザ、HTTP リクエスト、シェルコマンドで実行する。検査結果と根拠は Claude Code と Codex に渡される。このリポジトリは Python で書かれ、MIT ライセンスを使用している。
provepr は各検査を固定されたルールで合格・失敗・未検証に分類し、画面キャプチャ、エラー、リクエスト結果を根拠として残す。計画を弱める変更を検出する検査と継続的統合（CI）連携も提供する。別の言語モデルを呼び出さないことがこのツールの動作方式である。したがって、エージェントの主張を再評価するのではなく、計画に記載された内容を実際のブラウザとコマンドで確認する流れに重点を置いている。
ただし、提供された FACTS には v0.3.0 で新規追加または変更された項目が記載されていないため、このリリースの具体的な変更内容は確認できない。検査結果も、計画に含まれる主張と実際の実行で得られた根拠を基準に読むべきである。未検証に分類された項目は確認済みの結果と区別する必要があり、このツールの範囲は計画に記載された検査を実行して根拠を返すところにある。