{
 "schema_version": 1,
 "generated": "2026-10-20",
 "id": "2akouwu-reverify--verify-ai-claims-about-binary",
 "repo": "2akouwu/reverify",
 "repo_url": "https://github.com/2akouwu/reverify",
 "repo_slug": "2akouwu-reverify",
 "title": "Check an AI's claims about a binary before trusting them",
 "page_title": "How to check an AI's claims about a binary before trusting them with Reverify",
 "summary": "Turn an AI's guesses about a binary into VERIFIED or REFUTED verdicts with evidence.",
 "who": "A reverse engineer or security analyst who has asked an AI to describe a function, struct, or offset in a binary and needs to know which claims are real.",
 "problem": "Language models confidently invent offsets, sizes, and function behavior when reading binaries, and there is no easy way to tell which statements are true.",
 "outcome": "Each claim is returned as VERIFIED, REFUTED, or INCONCLUSIVE with the bytes the tools observed, and only verified claims are kept.",
 "steps": [
  "Run `pip install reverify` to install the CLI and MCP server.",
  "Run `reverify auto sample.bin --json` to get the tool-derived view of the file.",
  "Write each AI claim as a JSON object, for example kind instructions with an offset and a list of mnemonics.",
  "Run `reverify verify sample.bin --claim '{\"kind\": \"instructions\", \"offset\": 4096, \"mnemonics\": [\"push\", \"mov\", \"sub\"], \"note\": \"function prologue\"}'` and read the verdict. (inferred, check the README)",
  "For many claims, save them to claims.json and run Reverify verify with --claims-file, then check the exit code, which is non-zero if anything is refuted."
 ],
 "agent_prompt": "Using the reverify repo at 2akouwu/reverify, check each claim you made about <target binary> with reverify verify and its --claim JSON format. Report each claim as VERIFIED, REFUTED, or INCONCLUSIVE with the evidence bytes, and do not state any claim as fact unless the tool returned VERIFIED.",
 "agents": [
  "any"
 ],
 "difficulty": "Intermediate",
 "time": "30 minutes",
 "basis": "readme",
 "caveat": "The README reports its benchmark numbers on Windows system files, so accuracy on other binaries is not promised by the README.",
 "category": "Security and science",
 "tags": [
  "Security and science"
 ],
 "lang": "python",
 "requirements": [
  "Python installed",
  "Install with pip install reverify",
  "A binary or source file you are authorized to analyze"
 ],
 "risk": "dual-use",
 "seen_in_the_wild": false,
 "mentioned_publicly": false,
 "risks": [
  {
   "tag": "reverse-engineering",
   "notice": "The README says Reverify is for authorized reverse engineering only, such as malware analysis, CTF, interoperability research, and software you own or are permitted to analyze."
  }
 ],
 "best": true,
 "score": 1.0,
 "evidence": [],
 "url": "https://dedupedai.com/use-cases/2akouwu-reverify/verify-ai-claims-about-binary/",
 "md": "https://dedupedai.com/use-cases/2akouwu-reverify/verify-ai-claims-about-binary/index.md",
 "disclaimer": "Deduped lists open-source repositories that belong to other people. We do not own, maintain, audit, or vouch for any of them, and a repo appearing here is not an endorsement or a safety check. The use cases, steps, and prompts are written by AI and may be incomplete, outdated, or just wrong. Where a use case is marked \"Seen in the wild\", we link to public posts where someone described something similar, but we have not verified those posts and the use case itself is still our AI's own write-up. Use all of this at your own risk. Only run code, commands, or agents on systems and accounts you are authorized to use, and read the code and every command before you run it, especially anything that touches credentials, files, or the network. Nothing here is professional, security, legal, or financial advice. All trademarks and project names belong to their respective owners, and their use here does not imply affiliation. Content is provided as is, without warranties of any kind. Found a mistake, a safety problem, or something you want removed? Email hello@dedupedai.com and we will look at it promptly.",
 "api": "https://dedupedai.com/api/v1/usecases/2akouwu-reverify--verify-ai-claims-about-binary.json",
 "api_version": "v1"
}