2akouwu/reverify

它是什么

Reverify 是一个反 AI 幻觉的验证层，以 MCP 服务器 + CLI 形态存在。它让 LLM 的每个论断都经过确定性工具的裁决——不是“建议”，而是对照 ground truth 的强制校验。项目源自逆向工程场景，但机制本身通用。

核心亮点

• 确定性裁决：LLM 只负责提出假设，验证交给反汇编器、文件系统、网络工具等不可欺骗的实体
• 证据链留存：每条被确认的事实都附带可追溯证据，且跨会话持久化——上下文重置不再丢失已锚定的知识
• 双形态交付：既可嵌入 Claude 等 MCP 客户端作为实时守门员，也能在 CI 或终端独立运行
• MIT 许可：无使用限制，安全研究与生产集成皆可

为什么火

AI 编码助手在二进制分析、CTF 和恶意代码审计中频繁“自信地胡说”，而现有方案要么靠概率采样，要么靠人眼复查。Reverify 把验证从“软性建议”变成“硬性门禁”，直击 LLM 落地中最痛的信任缺口。961 星在两周内达成，说明开发者苦幻觉久矣。

适合谁用

• 安全研究员：逆向或分析恶意样本时，确保 AI 助手引用的每条指令地址、API 调用都真实存在
• AI Agent 开发者：需要为工具调用结果建立不可篡改的事实基座
• CTF 玩家：让 AI 辅助解题，但所有“答案”必须通过二进制验证才被采纳

快速上手

# 安装
pip install reverify

# 启动 MCP 服务器（接入 Claude Desktop 等）
reverify mcp

# CLI 验证单条声明
reverify check "函数 sub_401000 在 main 中被调用" \
  --binary ./target.exe --evidence-file trace.json

输出会给出 PASS/FAIL 及证据位置，失败时附带实际观察值，供 Agent 自我修正。