reverify: Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against

by 2akouwu · MCP Server · ★ 1.0k

Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h

How to install reverify

pip install reverify        # pure-Python core; or "reverify[full]" for capstone+unicorn+lief

Taken from the project's README on GitHub. Check the security audit before running it.

Security audit verdict: SAFE · quality 68/100

None of the 42 rules matched — no credential harvesting, no data exfiltration, no curl-pipe-shell installer. Scanned against 42 published rules built on the SlowMist agent-security taxonomy, refreshed every 8 hours. Full audit →

The quality score combines nine heuristic checks of the repo and its README: completeness, clarity, specificity, examples, structure, agent readiness, step-by-step content, instruction quality and security notes. It rates how well the project explains itself to an agent, not the code.

aiai-agentsai-codinganti-hallucinationbinary-analysiscontext-engineeringctfdeveloper-toolsdisassemblergrounding

Quick Facts

Stars1,002
Forks212
LanguagePython
CategoryMCP Server
LicenseMIT
Quality Score68/100
Open Issues3
Last Updated2026-09-07
Created2026-08-31
Platformscli, mcp, python
Est. Tokens~15k

About reverify

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.

Compatible Skills

These tools work well together with reverify for enhanced workflows:

  • open-reverselab — semantic(0.54)+rare_topics+same_lang+similar_pop+shared_platform (69%)
  • ctf-skills — semantic(0.33)+complementary+rare_topics+same_lang+similar_pop+shared_platform (66%)
  • ghidra-cli — semantic(0.45)+complementary+rare_topics+similar_pop+shared_platform (65%)
  • bn — semantic(0.42)+complementary+same_lang+similar_pop+shared_platform (65%)

reverify alternative? Top 6 similar tools

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.

  • awesome-reverse-engineering by morluto · ⭐ 1.4k

    Curated reverse-engineering tools and learning resources for binaries, apps, firmware, formats, and protocols.

  • open-reverselab by LING71671 · ⭐ 1.3k

    Open-source AI reverse-engineering agent platform and MCP server for Ghidra, Frida, x64dbg and Rizin — automat

  • atlassian-mcp-server by atlassian · ⭐ 1.1k

    Official remote MCP server for Atlassian. Securely connect Jira, Confluence, Jira Service Management, Bitbucke

  • jadx-mcp-server by zinja-coder · ⭐ 805

    MCP server for JADX-AI Plugin

  • roam-code by Cranot · ⭐ 517

    Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 comman

  • entroly by juyterman1000 · ⭐ 483

    Cut AI context cost without trusting the compressor. Every reduction is reversible, byte-exact recoverable, an

More MCP Server Tools

Explore other popular mcp server tools:

View all MCP Server tools →

Popular Python Agent Tools

How this security grade is produced

Grades come from a rule-based scan built on the SlowMist agent-security taxonomy: 42 published rules, covering credential harvesting, data exfiltration, curl | sh installers and more. 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:

View on GitHub → Browse MCP Server tools