reverify
Reverify pairs an AI model with deterministic binary-analysis tools that check every claim against the real file, so reverse-engineering output is grounded in the binary instead of guessed.
View 2akouwu/reverify on GitHub- GitHub stars
- 1,341
- Forks
- —
- Language
- Python
Project details
- Repository
- 2akouwu/reverify
- Licence
- MIT
- Primary language
- Python
- Catalog status
- Available
- Catalog check
- 2026-11-13
Repository description
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.
Explore by topic
More tools in Security & privacy
- x64dbg-mcp-server
duty1g · MIT
Lets any MCP-compatible AI assistant control the x64dbg debugger programmatically over HTTP.
- ecc
affaan-m · MIT
An open-source performance layer for AI coding agents like Claude Code, Codex and Cursor, adding memory, skills and security so agents keep context and work more…
- anthropic-cybersecurity-skills
mukul975 · Apache-2.0
Give AI coding agents structured cybersecurity skills mapped to established security frameworks.
- box
strands-agents · Apache-2.0
Box runs your AI coding agent inside a locked-down sandbox so it can only touch the files, commands, and network endpoints you explicitly allow.