ClaudeMap

Reverify

「模型提议、字节裁决」——二进制分析的反幻觉验证层，以 MCP server 形式供 Claude Code 调用。

SDK 与工具securityverificationbinary-analysismcp
访问项目2akouwu/reverify

Reverify 治的是真实存在的失败模式：LLM 会一本正经地编造二进制分析结论。它的确定性 Python 核心（PE/ELF/Mach-O 解析、x86/x64/ARM 反汇编、模拟执行）把模型的结构性断言对照真实字节逐条验证；可选引擎（capstone/unicorn/lief/Z3/angr）扩展覆盖面。在 19 个 Windows 系统文件基准上，作者报告 AI「教科书式回答」100% 错误、reverify 全部捕获且零误报。以 MCP server 形式供 Claude Code/Cursor 调用，另有 CLI。

代码仓库

2akouwu/reverify

收录日期

地图上的相关资源

  • Harness Bridge

    SDK / 工具

    一个本地启动器：让 Claude Code 与其他七种编码 harness 直连任意 OpenAI / Anthropic / Responses 兼容端点——不改任何一行配置文件。

    • launcher
    • local-models
    • cli
    • menu-bar
    查看

  • Claude for Siri

    SDK / 工具

    用你已登录的 Claude Code 账号回答 macOS Spotlight 与 Siri 的提问——一个实验性的 macOS 27 模型委派提供者。

    • macos
    • siri
    • spotlight
    • model-delegation
    查看

  • AI Coding Assistant Data Extractor

    SDK / 工具

    把十个 AI 编程助手的本地聊天记录提取成统一 JSONL——微调、分析，或赶在本地数据库被清空前备份多年的对话。纯标准库实现。

    • cli
    • data-export
    • jsonl
    • backup
    查看