🛡 Reverify — 让 AI 逆向分析不再“一本正经地胡说八道”📦 逆向工程 ｜ AI工具 ｜ MCP ｜ 开源项目

1. 2小时前

   

   ×

   

   🛡 Reverify — 让 AI 逆向分析不再“一本正经地胡说八道”
   📦 逆向工程 ｜ AI工具 ｜ MCP ｜ 开源项目
   
   

   
   ➤ 面向二进制逆向分析的 AI 防幻觉验证层
   ➤ 模型负责提出分析假设，工具负责验证结论
   ➤ 通过真实二进制字节进行结果校验
   ➤ 支持反汇编、模式匹配与 CPU 模拟验证
   ➤ 验证结果分为 VERIFIED / REFUTED / INCONCLUSIVE
   ➤ 提供 CLI + MCP Server 双形态
   ➤ 支持 Claude Code、Cursor 等 AI Agent 调用
   ➤ 支持 7 种 Claim 验证类型
   ➤ Claim 被 REFUTED 时 CLI 返回非零退出码
   ➤ 支持接入 CI 门禁与 Agent 迭代流程
   ➤ 默认使用纯 Python 核心，减少重型依赖
   ➤ 支持 Capstone + Unicorn + LIEF 专业引擎
   ➤ 支持 PE / ELF / Mach-O 格式解析
   ➤ 支持 x86 / x64 / ARM / ARM64 反汇编
   ➤ 支持 AOB 通配符扫描
   ➤ 支持生成 Frida Hook
   ➤ 支持 reconstruct 闭环模式
   ➤ 支持“假设 → 验证 → 修正”的逆向分析流程
   

   Toggle hidden content

   
   
   📌 简单说：
   👉 Reverify 是一个专门用于验证 AI 逆向分析结论的开源工具。AI 可以负责提出结构体、算法或指令行为等假设，但最终结论必须经过真实二进制数据、反汇编、模式匹配或模拟结果验证，从而减少 AI 在二进制分析中的“幻觉”。
   
   🔗 GitHub：
   项目源码
   
   📂 #Reverify #逆向工程 #AI防幻觉 #MCP #二进制分析 #恶意软件分析 #开源工具 #AIAgent