No red flags found in any of the 11 categories — no credential harvesting, no data exfiltration, no curl-pipe-shell installer. Scanned against the SlowMist agent-security taxonomy, refreshed every 8 hours. Full audit →
by 2akouwu · MCP Server · ★ 1.0k
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
🔒 Is reverify safe to install? View the security audit →
Reverify Reverse engineering you can trust. An AI-assisted RE toolkit whose findings are checked against the binary — not hallucinated. The problem Language models are great at reading code and unreliable at reverse engineering. Ask a model to reconstruct a struct or an algorithm from a binary and it will confidently invent offsets, sizes, and behavior. In binary analysis this hallucination problem is far worse than in source code, and "did the model just make that up?" is the single biggest blocker to using AI for real RE. What Reverify does Reverify pairs a language model with a deterministic, pure-Python RE toolkit and makes the toolkit the judge. The model proposes; the tools verify. A hypothesis about a structure or an algorithm is only reported once it has been checked against the actual bytes — disassembled, pattern-matched, or executed in the emulator — so the output is grounded in the binary instead of the model's imagination. Deterministic core — PE/ELF/Mach-O parsing, x86/x64/ARM/ARM64 disassembly, AOB pattern scanning, CPU emulation, Protobuf/TLV dissection, Frida hook generation. Pure Python out of the box; installs clean with no Ghidra.
| Stars | 1,002 |
| Forks | 212 |
| Language | Python |
| Category | MCP Server |
| License | MIT |
| Quality Score | 67.8265836505937/100 |
| Open Issues | 3 |
| Last Updated | 2026-09-07 |
| Created | 2026-08-31 |
| Platforms | cli, mcp, python |
| Est. Tokens | ~15k |
These tools work well together with reverify for enhanced workflows:
Looking for a reverify alternative? If you're comparing reverify with other mcp server tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.
Ghidra MCP Server — 200+ MCP tools for AI-powered reverse engineering. GUI plugin + headless server, lazy tool
Open-source AI reverse-engineering agent platform and MCP server for Ghidra, Frida, x64dbg and Rizin — automat
Official remote MCP server for Atlassian. Securely connect Jira, Confluence, Jira Service Management, Bitbucke
MCP server for JADX-AI Plugin
Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 comman
Reverse engineer anything with agents, from app behavior down to native binaries.
Explore other popular mcp server tools:
reverify is 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 . It is categorized as a MCP Server with 1.0k GitHub stars.
reverify is primarily written in Python. It covers topics such as ai, ai-agents, ai-coding.
You can find installation instructions and usage details in the reverify GitHub repository at github.com/2akouwu/reverify. The project has 1.0k stars and 212 forks, indicating an active community.
reverify is released under the MIT license, making it free to use and modify according to the license terms.
The top alternatives to reverify on Agent Skills Hub include ghidra-mcp, open-reverselab, atlassian-mcp-server. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.
Grades come from a rule-based scan built on the SlowMist agent-security taxonomy, covering 11 red-flag categories including credential harvesting, data exfiltration, and curl | sh installers. It is a first-layer scan, not a manual audit — we say so rather than overstate it.
The scale of the problem is documented independently: Liu et al. (2026), in a study of 31,132 agent skills, report that 26.1% contain security vulnerabilities. Our own full-catalog census is published as a citable open dataset.
Sources & who's responsible: