reverify

防止AI编造信息，通过确定性工具验证每个声明的真实性。

MCP编程与开发开源

能力说明

Reverify 是一个MCP服务器和CLI工具，用于确保AI生成的内容基于真实数据。它让AI提出假设，然后由确定性的工具来验证这些假设是否正确。这样可以避免AI编造错误的信息，并且保持上下文的一致性。适用于需要高准确性的逆向工程、代码重构等场景。可以通过pip安装并直接使用。

逆向工程中的结构验证代码重构时的准确性检查恶意软件分析CTF竞赛中的二进制分析

依赖：API KeyNode 环境

pip install reverify 或 pip install 'reverify[full]' 以启用更多功能

以上信息由 AI 基于公开资料整理，可能存在偏差，以来源为准。

Reverify 支持哪些二进制格式？

支持PE、ELF、Mach-O等格式。

如何安装Reverify？

使用pip install reverify进行安装。

为 AI 编码代理提供安全审查能力，自动发现、复现和修补漏洞。

将你的AI编码助手转变为SAST扫描器，自动检测代码中的漏洞。

AI 原生的 CLI 首发 React 组件库，支持 MCP Server。

将任何AI代理转变为科学助手，提供147种即用型科研技能。

通过 Alexa 与 Susi AI 进行问答交互的技能。

为 Claude Code 提供代码搜索能力，使整个代码库成为上下文。