Reverify is a Python CLI and MCP server that verifies or refutes AI-generated claims about binaries using deterministic evidence from the file.

How do you install Reverify?

Install the base package with pip install reverify. The README also documents optional extras such as reverify[full] and reverify[angr].

Is Reverify only for malware analysis?

No. It is intended for authorized reverse engineering, CTFs, interoperability research, malware analysis, and software the user is permitted to inspect.

Reverify

Name: Reverify
Author: 2akouwu

by 2akouwu

communitystdiopypi

View all implementations

890stars|191forks

View on GitHub PyPI Docs

Works withClaude DesktopCursorVS CodeWindsurf

About

MCP server and CLI that verifies AI claims about binaries against real byte-level evidence.

Features

Verifies binary-analysis claims as VERIFIED, REFUTED, INCONCLUSIVE, OBSERVED, or INVALIDATED
Supports PE, ELF, and Mach-O parsing plus x86, x64, ARM, and ARM64 disassembly paths
Runs as both a command-line tool and an MCP server for Claude Code, Cursor, and other agents
Can use optional engines such as capstone, unicorn, lief, Z3, and angr for deeper analysis

Use Cases

Reverse engineer

Check whether an AI-generated hypothesis about offsets, instructions, structs, or control flow matches the actual binary bytes.

Malware analyst

Use deterministic evidence to keep LLM-assisted analysis grounded during authorized malware or suspicious-file review.

Agent builder

Expose binary verification tools to an MCP-compatible coding or security agent.

What This Server Can Do

MCP servers expose three types of capabilities to AI clients. Here's what Reverify supports.

Tools

Supported4 tools

Functions your AI client can call to perform actions — like querying a database, creating a file, or calling an API.

How to use: Tools run automatically when your AI client decides they're needed. Ask your AI assistant to perform a task, and it will invoke the right tool.

Resources

Not available

This server does not expose read-only data resources.

Prompts

Not available

This server does not provide pre-built prompt templates.

For the full list of available tools, resources, and prompts, check the README on GitHub.

Available Tools (4)

auto

Run automatic binary inspection and emit structured findings.

verify

Verify one or more claims about a binary against deterministic evidence.

parse-pe

Parse a Windows PE file and return structured metadata.

disasm

Disassemble bytes for a selected architecture.

Alternative Implementations

Other MCP servers for the same service.

View all on service page

algokiller-plugin

community55/100

Frequently Asked Questions

OpenAIai lab

Creating safe AGI that benefits all of humanity

249 Tools58 MCP Servers14 ModelsFounded 2015San Francisco, CA

View full profile

249 Tools·14 Models·58 MCP Servers·5.0avg

Tools by OpenAI

Other AI tools from the same organization.

AgentGPT

Automation

AgentGPT: Pricing, Features, FAQs, and Alternatives

ChartGPT

Chart Generator

A Comprehensive Tool for All Your Charting Needs

GPT Stylist

Figma Plugin

Create custom color palettes effortlessly with GPT Stylist

GPT Lab

Collaboration

Transform data scripts into interactive web apps in minutes with Streamlit.

AutoGPT (Hugging Face)

Automation

Automate Your Tasks with AutoGPT by aliabid94

SiteGPT

AI Assistant

Personalized AI Chatbot for Enhanced Customer Support

View all tools

AI Models by OpenAI

AI models from the same organization.

Model	Context Window	Price (In / Out per M)	Capabilities
GPT-6.1 SolCurrent	1.1M	$2.00 / $10.00	textvisionreasoningcoding+4
GPT-6 SolCurrent	1.1M	$2.00 / $10.00	textvisionreasoningcoding+3
GPT-6 LunaCurrent	1.1M	$0.10 / $0.50	textvisionreasoningcoding+3
GPT-5.6 LunaCurrent	1.1M	$0.20 / $1.20	textvisionreasoningcoding+5
GPT-5.6 TerraCurrent	1.1M	$2.00 / $12.00	textvisionreasoningcoding+5
GPT-5.6 SolCurrent	1.1M	$4.00 / $20.00	textvisionreasoningcoding+5