{
 "schema_version": 1,
 "generated": "2026-10-20",
 "repo": "2akouwu/reverify",
 "name": "reverify",
 "owner": "2akouwu",
 "slug": "2akouwu-reverify",
 "github": "https://github.com/2akouwu/reverify",
 "what": "Reverify is a Python toolkit and MCP server where deterministic tools verify every AI claim about a binary or code before it counts as fact.",
 "why": "",
 "language": "Python",
 "requirements": [
  "Python installed",
  "Install with pip install reverify",
  "A binary or source file you are authorized to analyze"
 ],
 "audience_note": "Reverse engineers, CTF and malware analysts, and developers who use AI coding agents and need their claims checked.",
 "risk": "dual-use",
 "section": "earlier",
 "weekly_rank": null,
 "category": "Security and science",
 "url": "https://dedupedai.com/use-cases/2akouwu-reverify/",
 "use_case_count": 4,
 "use_cases": [
  {
   "id": "2akouwu-reverify--verify-ai-claims-about-binary",
   "title": "Check an AI's claims about a binary before trusting them",
   "best": true,
   "url": "https://dedupedai.com/use-cases/2akouwu-reverify/verify-ai-claims-about-binary/",
   "json": "https://dedupedai.com/use-cases/u/2akouwu-reverify/verify-ai-claims-about-binary.json"
  },
  {
   "id": "2akouwu-reverify--gate-ai-rewrite-with-equivalence-tests",
   "title": "Test an AI's code rewrite against the original before merging",
   "best": false,
   "url": "https://dedupedai.com/use-cases/2akouwu-reverify/gate-ai-rewrite-with-equivalence-tests/",
   "json": "https://dedupedai.com/use-cases/u/2akouwu-reverify/gate-ai-rewrite-with-equivalence-tests.json"
  },
  {
   "id": "2akouwu-reverify--keep-long-agent-session-from-drifting",
   "title": "Stop a long AI coding session from losing grounded facts",
   "best": false,
   "url": "https://dedupedai.com/use-cases/2akouwu-reverify/keep-long-agent-session-from-drifting/",
   "json": "https://dedupedai.com/use-cases/u/2akouwu-reverify/keep-long-agent-session-from-drifting.json"
  },
  {
   "id": "2akouwu-reverify--give-agent-verifier-tools-over-mcp",
   "title": "Let a coding agent call Reverify's checks through MCP",
   "best": false,
   "url": "https://dedupedai.com/use-cases/2akouwu-reverify/give-agent-verifier-tools-over-mcp/",
   "json": "https://dedupedai.com/use-cases/u/2akouwu-reverify/give-agent-verifier-tools-over-mcp.json"
  }
 ],
 "disclaimer": "Third-party repos we don't own or vouch for. AI-generated use cases can be wrong: review everything and run at your own risk."
}