Reverify

Reverify 是一款解决大语言模型（LLM）“幻觉”问题的开源工具，特别针对二进制逆向工程、代码重构等对准确性要求极高的场景。它的核心理念非常朴素：AI 负责提出假设，确定性工具负责验证事实。

在 Reverify 的工作流中，模型永远不能独自断言一个事实。它必须提出一个假设（例如：“这个偏移量是一个结构体字段”或“这段代码计算了 X”），然后由底层的纯 Python 解析器、反汇编器或模拟器对照真实的二进制字节进行严格检查。只有经过验证的断言才会被接受，被驳斥的则会被记录为“已知错误”，防止模型在后续对话中重蹈覆辙。

核心功能：验证循环与账本系统

1. 确定性验证引擎

Reverify 内置了一套强大的逆向工程工具包，无需依赖 Ghidra 等重型软件即可运行：

• 基础核心：纯 Python 实现的 PE/ELF/Mach-O 解析、x86/ARM 反汇编、AOB 模式扫描、CPU 模拟及 Protobuf/TLV 解析。
• 高级后端（可选）：支持集成 capstone（反汇编）、unicorn（CPU 模拟）、lief（二进制解析）和 angr（符号执行/CFG 分析）。
• 验证类型：支持 bytes_at（字节检查）、instructions（指令序列）、emulate_result（模拟结果）、calls（函数调用关系）等十余种断言类型。

实测数据：在 71 个真实的 Windows 系统文件测试中，AI 的教科书式答案错误率高达 97%，而 Reverify 成功捕获了所有错误，且从未接受任何虚假断言（0 误报）。

2. 持久化账本 (Ledger)

为了解决长上下文窗口中的“信息腐烂”问题，Reverify 引入了基于磁盘的账本系统：

• 状态持久化：将已验证的事实和已被驳斥的错误存储在 .reverify/ledger/<sha256>.json 中。
• 负面记忆：明确记录“已知为假”的信息，防止模型在新一轮会话中重复相同的幻觉。
• 无损移交：当上下文过长时，Reverify 不会让模型进行有损摘要，而是将会话状态移交给文件，并开启一个新的干净会话。新会话直接从账本加载事实，确保知识不丢失且无噪音。

3. 自动化会话滚动 (Rollover)

Reverify 提供了 reverify rollover 命令，无缝集成到 Claude Code、Codex、Gemini CLI 和 OpenCode 等工作流中：

• 自动触发：当上下文达到阈值或模型感到混乱时，自动触发会话滚动。
• 钩子集成：通过修改各 CLI 的配置文件（如 ~/.claude/settings.json），禁用原生压缩，转而使用 Reverify 的无损移交机制。
• 审计跟踪：所有旧转录保留在磁盘上作为审计依据，新会话从精确的移交点开始，确保长期任务的稳定性。

快速开始

安装

# 基础版（纯 Python，无外部依赖）
pip install reverify

# 完整版（包含 capstone, unicorn, lief 等高性能后端）
pip install "reverify[full]"

# 含 angr 支持（用于复杂 CFG 分析）
pip install "reverify[angr]"

基本用法

# 自动分析二进制文件并输出 JSON
reverify auto sample.bin --json

# 验证特定断言
reverify verify sample.bin --claim '{
  "kind": "instructions", 
  "offset": 4096,
  "mnemonics": ["push", "mov", "sub"], 
  "note": "函数序言"
}'

# 启动 MCP 服务器供 AI 代理调用
python reverify/mcp_server.py

集成到 AI 工作流

# 为当前环境中的所有支持 CLI 安装 Rollover 钩子
reverify rollover install

# 检查安装状态
reverify rollover doctor

# 通过启动器运行 Claude Code，自动管理会话滚动
reverify rollover claude

为什么 Reverify 与众不同？

1. 拒绝“信任但验证”：传统方法是先相信 AI 再人工检查，Reverify 则是先验证后信任。未经验证的断言权重为零，甚至为负。
2. 信息量评分：不仅看断言是否通过，还衡量其信息密度。重复的、显而易见的或自引用的断言即使通过验证，得分也极低，迫使模型提供真正有价值的洞察。
3. 开源与可复现：所有验证过程都有“收据”（Receipt），包含二进制哈希、工具版本和裁决证据，确保结果可移交、可重放、可审计。
4. 跨平台兼容：支持 Windows、Linux 和 macOS，并在 CI 中针对数千个真实二进制文件进行模糊测试和基准验证。