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 toolsFunctions 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 availableThis server does not expose read-only data resources.
Prompts
Not availableThis 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)
autoRun automatic binary inspection and emit structured findings.
verifyVerify one or more claims about a binary against deterministic evidence.
parse-peParse a Windows PE file and return structured metadata.
disasmDisassemble bytes for a selected architecture.