What was done
ReAgent pairs a reverser and a checker LLM with Ghidra evidence and build/test gates to reconstruct C++ functions. The maintainers used it for their reversed San Andreas codebase, which they call complete.
Where the human stepped in
The maintainers say LLM output is never accepted as proof: every candidate finding is checked against decompiled code and assembly before it enters the reversed source.