Reverify: MCP server that verifies AI reverse-engineering claims against the binary

More like this

• 

  ● Agent workflows & prompts·GitHub

  REA Reconstruction Companion

  1

  Agent Skill that turns REA evidence into requirements, a roadmap and validated rebuilds.

  

  ShadowSwaps

  @ShadowSwaps

• 

  ● Agent workflows & prompts·GitHub

  REAgraph: persistent graph memory and structural diff for REA findings

  0

  Python tool that folds REA analysis output into a persistent graph, diffs two builds by structure instead of byte offset, and attests shipped artifacts against source graphs.

  Language

  Python

  Demo diff

  1 changed vs 59 of 56 nodes flag

  Tests

  1300+

  Stars

  11

  

  Graphify-Labs

  github.com

• 

  ● Agent workflows & prompts·GitHub

  ToCode: export binaries as source-like projects for coding agents

  0

  Open-source Python tool that uses IDA, radare2, angr or Binary Ninja to turn binaries, APKs and .NET assemblies into code-like project trees with AGENTS.md and metadata for coding agents.

  Language

  Python

  GitHub stars

  42

  Targets

  Binaries, IDA databases, APKs, .

  

  buzzer-re

  github.com

• 

  ● Agent workflows & prompts·GitHub

  ghidra-rpc: Ghidra agentic skill for LLM-driven reverse engineering

  0

  A CLI and persistent Ghidra daemon that lets LLM coding agents decompile, trace call graphs, annotate, recover types, patch and diff binaries, returning structured JSON.

  Tool

  Ghidra via PyGhidra daemon

  Agents

  pi, Claude Code, Cursor

  Language

  Python

  GitHub stars

  389

  

  cellebrite-labs

  github.com

• 

  ● Agent workflows & prompts·Investigations

  rea-lab

  0

  Five preregistered studies of whether REA helps Claude Code on Windows crackmes; found no measurable gain at about twice the time and cost.

  P

  Pablo Díaz Jorge

  @pablodiazjorge