reverify makes an agent's claims about binaries VERIFIED or REFUTED against the actual bytes, and the grounded facts survive context resets

GitHub·low signalXBlueskyLinkedInCopy link

2akouwu/reverify (created 2026-08-31, MIT, 850 stars, actively pushed 09-04) ships as an MCP server plus CLI for reverse engineering and malware analysis, with the model proposing and deterministic tools deciding. Every claim gets labelled VERIFIED or REFUTED with evidence drawn from the real bytes, and the grounded facts persist across context resets rather than being re-derived. The pattern generalizes past binary analysis: it is a concrete implementation of pinning agent assertions to a deterministic oracle and carrying the verified subset forward as durable memory.