2akouwu/reverify
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.
About the project
A tool that checks an AI model's claims about binaries and code against deterministic tools (disassembler, emulator, PE/ELF/Mach-O parser), returning VERIFIED/REFUTED with evidence. MCP server and CLI for reverse engineering, malware analysis, and CTF.
Useful for
- Verify an AI hypothesis about a function's offset and instructions in a binary via reverify verify
- Emulate a reconstructed routine and check expected register values
- Connect the reverify MCP server to Claude Code or Cursor to validate agent claims
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate.
Why it’s trending
- 7 stars today.
- Interest is fading: the two-day pace is 17% of the previous week and a half.
- The repository is 13 days old and already has 1,188 stars.
- Top new repositories this month: #60.
Stars per day
Bars are daily stars, the line is the usual pace. Red marks spike days.
Numbers
- Total stars
- 1,188
- Stars in a day
- 7
- Forks
- 233
- Issues and pull requests
- 22
- Watchers
- 2
- Language
- Python
- License
- MIT
- Latest release
- v0.11.0 · September 4, 2026
- Created
- August 31, 2026
- Last push
- September 7, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Spotted in
- September 13, 2026Top new repositories this month: #55
Share
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/2akouwu/reverify)Similar projects
-
6.8
melgarafael/DeskcommCRM
Self-hosted CRM with native AI agents for selling over WhatsApp: agents reply, qualify leads and close sales while your data stays on your server. An open alternative to Kommo, Octadesk and Intercom.
-
6.2
kruzovic7/ai-data-extractor
Python tool that extracts local chat histories from AI coding assistants (Claude Code, Cursor, Windsurf, Aider, Cline/Roo Code and more) into a single normalized JSONL format.
-
6.2
ayghri/i-have-adhd
A skill for a coding agent (Claude Code) that makes it lead with the answer and numbered steps, without preamble or filler. Helps you get concrete actions instead of long-winded reasoning.
-
6.1
tech-leads-club/agent-skills
A registry of validated skills (instruction plugins) for AI coding agents: extends Claude Code, Cursor, Copilot and others with secure, tested capabilities.
-
6.1
jordan-gibbs/hyperresearch
A deep research harness for Claude Code: turns one prompt into a report with verified citations and a persistent source vault. Every source lands in a searchable store reused by later sessions.
-
6.0
NVlabs/SoL-Pi
An extension for Pi that cuts token usage and redundant turns of coding agents via four mechanisms: action fusion, observation packing, log reduction, and context compaction.