ClaudeMap

Reverify

"The AI proposes. The bytes decide." — a binary-analysis anti-hallucination verification layer, callable as an MCP server.

SDKs & Toolingsecurityverificationbinary-analysismcp
Visit project2akouwu/reverify

Reverify addresses a real failure mode: LLMs confidently invent binary-analysis facts. Its deterministic Python core (PE/ELF/Mach-O parsing, x86/x64/ARM disassembly, emulated execution) verifies the model's structural claims against the actual bytes; optional engines (capstone/unicorn/lief/Z3/angr) upgrade coverage. On a 19-file Windows system-binary benchmark the authors report AI textbook answers were 100% wrong and reverify caught every one with zero false positives. Ships as an MCP server for Claude Code/Cursor plus a CLI.

Repository

2akouwu/reverify

Charted

Related on the map

  • Harness Bridge

    SDK / Tool

    A local launcher that points Claude Code and seven other coding harnesses at any OpenAI-, Anthropic- or Responses-compatible endpoint — without editing a single config file.

    • launcher
    • local-models
    • cli
    • menu-bar
    View

  • Claude for Siri

    SDK / Tool

    Answers macOS Spotlight and Siri prompts with your signed-in Claude Code account — an experimental macOS 27 model-delegation provider.

    • macos
    • siri
    • spotlight
    • model-delegation
    View

  • AI Coding Assistant Data Extractor

    SDK / Tool

    Extract your own local chat history from ten AI coding assistants into one normalized JSONL — for fine-tuning, analytics, or backing up years of conversations. Standard library only.

    • cli
    • data-export
    • jsonl
    • backup
    View