AIの推論をバイナリで検証するリバースエンジニアリング支援ツールキットです。
中辛 の解説
Reverifyはピュアなpythonコアをベースとしたリバースエンジニアリング用およびMCPサーバーです。pip install reverifyで即使用でき、reverify[full]を選ぶとcapstone・unicorn・liefによる本格的な解析が可能になります。VerifyコマンドはAIの仮説をVERIFIED・REFUTED・INCONCLUSIVEで判定し、環境でのゲートチェックにも利用できます。Claude CodeやCursorなどのAIエージェントからMCPサーバー経由で直接ツールを呼び出すことも可能です。
こんなリポジトリです
こんなときに便利です
- CTFのバイナリ問題を解く際にAIの仮説をバイト列で根拠付けたいとき
- マルウェア解析でAIが提示したコード構造の正確さをバイナリに照らして確認したいとき
- CI/CDパイプラインにリバースエンジニアリング検証ステップを組み込みたいとき
主な機能
ほかとの違い
GhidraやIDA Proのような外部バイナリ依存がなく、ピュアPythonで動作しながらAIの推論をバイト列で検証できる点が独自の強みです。
食べた人たち
実際に使ってみた人の記録です — 一言も完走の記録も、確認のうえで公開しています。
このリポジトリの作り方
はじめてですか？ むずかしくありません — 上から順にたどれば、自分の環境で動かして味見できます。
準備するもの
- Python 3.x
- pip（オプション: capstone・unicorn・liefのインストールに必要）
すぐ動かしてみるPython (uv)
ギット飯がリポジトリの構成を確認して組み立てた実行コマンドです。ターミナルに貼り付ければ、取得から実行までまとめて進みます。
git clone --depth 1 https://github.com/2akouwu/reverify.git && cd reverify && uv sync
uv がなければ: brew install uv · 実行コマンドは README を確認してください。
コードは自分の環境で動きます — はじめて見るリポジトリなら、中身にひととおり目を通してから実行するのがおすすめです。
README の詳しい手順を見る
- PyPIからインストールします（ピュアPythonコア）
pip install reverify
- フル機能版（capstone・unicorn・lief）をインストールする場合はこちらを使います
pip install "reverify[full]"
- バイナリを自動解析します
reverify auto sample.bin --json
- バイナリに関する仮説を検証します
reverify verify sample.bin --claim '{"kind": "instructions", "offset": 4096, "mnemonics": ["push", "mov", "sub"], "note": "function prologue"}'
- MCPサーバーを起動してAIエージェントと連携します
python reverify/mcp_server.py
ギット飯トライで味見
入れるのが面倒で少し不安だったなら — 安全スキャンからインストールまで、ターミナル一行で終わります。
ターミナルに貼り付ければ、ギット飯の安全スキャン → 隔離フォルダへ clone → インストール → 実行方法の案内まで自動です。はじめてでも大丈夫 — この一行だけです。
npx gitbap-try 2akouwu/reverify
Node.js さえあれば、インストールなしで動きます · ギット飯トライとは？ →
スター推移 · 7日
使いやすさ · まねしやすいか
- ゆるいライセンス
- テストあり
- サンプル集
- 最近の更新
- AGENTS.md
- llms.txt
- テンプレート
最近の更新あり · 2026 年に作成
「自動化・ワークフロー」 こういうリポジトリを毎週受け取りませんか？
毎週月曜の朝、選んだ一膳だけ。広告なし · いつでも解除。
自分のリポジトリですか？ README にギット飯バッジを貼る
[](https://www.gitbap.com/r/2akouwu/reverify)Claude からそのまま使う — ギット飯のつなぎ方
ギット飯を Claude につなぐと、こうしたリポジトリを Claude・Cursor・Codex から直接さがして試せます。
Claude の設定 → コネクタにこのアドレスを貼り付け。
https://www.gitbap.com/api/mcpプラグインを入れると /gitbap-trending·/gitbap-try のスラッシュコマンドで、その場でリポジトリを試せます。Claude Code で下の 2 行を順に実行してください。
/plugin marketplace add jakeparkcolde/gitbap-cowork/plugin install gitbap-cowork@gitbapAI が README をもとに要約しました · 原文を見る