reverify

reverify

Prevent AI from fabricating information by verifying the truth of each claim through deterministic tools.

MCPDevOpen source
Type
MCP
Transport
stdio
Open source
Yes
GitHub Stars
★ 1.0k
Source
mcp-github

Overview

Reverify is an MCP server and CLI tool designed to ensure AI-generated content is based on real data. It allows AI to propose hypotheses, which are then verified by deterministic tools to confirm their accuracy. This prevents AI from generating false information while maintaining context consistency. Suitable for high-accuracy scenarios such as reverse engineering and code refactoring. Can be installed via pip and used directly.

Capabilities

  • Verify structural or behavioral claims proposed by AI
  • Maintain AI context consistency
  • Support parsing of multiple binary formats
  • Provide a pure Python core functionality
  • Optional integration with mature engines such as capstone, unicorn

Use cases

Structure verification in reverse engineeringAccuracy checks during code refactoringMalware analysisBinary analysis in CTF competitions

Setup

Requires: API KeyNode 环境
pip install reverify or pip install 'reverify[full]' to enable additional features

This information was compiled by AI from public sources and may contain inaccuracies — please refer to the source.

FAQ

What binary formats does Reverify support?

Supports PE, ELF, Mach-O, and others.

How do I install Reverify?

Install using pip install reverify.

Related skills