2akouwu/reverify

它是什么

reverify 是一个针对 AI 幻觉问题的开源验证框架，核心思路是：AI 只负责提出假设，由确定性工具做最终裁决。它通过 MCP 服务器和 CLI 接口，将 LLM 生成的每个声明与 ground truth 进行比对，并附上可追溯的证据。项目最初面向逆向工程场景，但机制本身完全通用。

核心亮点

• 证据链验证：每个输出都绑定实际数据源，而非模型自述
• 确定性裁决：用反汇编器等确定性工具替代概率性判断，杜绝“看似合理”的错误
• 上下文持久化：经过验证的事实和上下文在会话重置后依然保留，适合长周期任务
• 双接口设计：既可作为 MCP server 接入现有 AI 工作流，也能独立通过 CLI 使用

为什么火

短短时间获得 900+ star，因为它戳中了 AI 应用落地的最大痛点——幻觉问题。不同于常见的“提示词约束”或“事后检测”，reverify 从架构上把验证变成硬性环节，让 AI 从“生成答案”转变为“提出候选方案”。在安全分析、代码审计等容错率极低的领域，这种设计思路极具吸引力。

适合谁用

• 依赖 AI 辅助逆向工程、恶意代码分析的安全研究员
• 构建需要高可靠性输出的 AI Agent 开发者
• 正在解决 LLM 幻觉问题的 MCP 生态贡献者
• 对“如何让 AI 承认自己不知道”感兴趣的架构师

快速上手

# 安装
pip install reverify

# 启动 MCP server（供 Claude/Cursor 等接入）
reverify serve --transport stdio

# 或直接用 CLI 验证声明
reverify check "函数 sub_401000 的作用是解密缓冲区" \
  --ground-truth ./binary.asm --tool objdump

接入后，你的 AI 助手在回答涉及代码逻辑、内存布局等事实性问题时，会先调用 reverify 进行验证，再给出带证据的结论。