DEDUPED Hot AI repos, turned into use cases Get 5 a day

What you can do with Reverify

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.

Trended earlier

2akouwu/reverify on GitHub

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.

Authorization notice. This tool is dual-use. Only use it on software, sites and systems you own or have explicit permission to test, and follow the relevant licenses and terms of service.

What do you want to do?

4 use cases

  • Check an AI's claims about a binary before trusting them

    Turn an AI's guesses about a binary into VERIFIED or REFUTED verdicts with evidence.

    View 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.

  • Test an AI's code rewrite against the original before merging

    Run a candidate and a reference implementation on shared inputs and catch any disagreement.

    View prompt
    Using the reverify repo at 2akouwu/reverify, run its equiv check with --lang python to compare the AI-rewritten <function file> against the original reference over shared inputs. Report the result and, if refuted, the input and both outputs, and do not accept the rewrite unless the check agrees.

  • Stop a long AI coding session from losing grounded facts

    Hand off a long task to a file-backed state so a fresh context keeps verified facts.

    View prompt
    Using the reverify repo at 2akouwu/reverify, run reverify rollover to hand off the current session, then run reverify ledger <target> and confirm the established and known-false facts appear in the new session before continuing.

  • Let a coding agent call Reverify's checks through MCP

    Connect Claude Code or Cursor to Reverify's MCP tools so the agent verifies its own claims.

    View prompt
    Using the reverify MCP server from the repo 2akouwu/reverify, verify each claim about <target binary> with re_verify_claim and recover prior grounded facts with re_ledger after any context reset. Report which claims were VERIFIED and which were REFUTED.

How to use Reverify

  1. Check you have what it needs: Python installed; Install with pip install reverify; A binary or source file you are authorized to analyze.
  2. Open 2akouwu/reverify on GitHub and read the README and license.
  3. Run pip install reverify to install the CLI and MCP server.
  4. Run reverify auto sample.bin --json to get the tool-derived view of the file.
  5. Write each AI claim as a JSON object, for example kind instructions with an offset and a list of mnemonics.
  6. 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)

These steps come from our top use case, Check an AI's claims about a binary before trusting them, which also has a copy-paste agent prompt.

Reverify alternatives · Best AI repos for Security and science

About this repo

Requirements

  • Python installed
  • Install with pip install reverify
  • A binary or source file you are authorized to analyze
Maintain Reverify? Add the Featured on Deduped badge

Paste this into your README:

[![Featured on Deduped](https://dedupedai.com/badge/2akouwu-reverify.svg)](https://dedupedai.com/use-cases/2akouwu-reverify/?ref=badge)

More badge styles and HTML

Questions about Reverify

What is Reverify?

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. It is an open-source project on GitHub: https://github.com/2akouwu/reverify.

Who is Reverify for?

Reverse engineers, CTF and malware analysts, and developers who use AI coding agents and need their claims checked.

What can I do with Reverify?

4 use cases so far, for example: Check an AI's claims about a binary before trusting them; Test an AI's code rewrite against the original before merging; Stop a long AI coding session from losing grounded facts. Each has steps and a copy-paste agent prompt.

What do I need to run Reverify?

Python installed; Install with pip install reverify; A binary or source file you are authorized to analyze.

What are alternatives to Reverify?

Other hot AI repos in Security and science: Rea, Ablation, Claude AD, Awesome Reverse Engineered, Seep Reverse Lab.

Is Reverify safe to run?

Deduped does not own, audit or vouch for it. Read the README and license, run it on your own systems first and review every command before you run it.