REA逆向工程审计包·国产适配（付费版）

概述

⚠️ 免责声明（务必先读）

本技能仅用于研究学习与安全审计（如自有软件的健壮性审计、遗留产物的可维护性评估、版本差异比对等）。

不可用于破解、绕过技术保护措施、未经授权的逆向或任何违反法律法规的用途。

用户如将本技能用于上述禁止用途，一切法律责任与后果由使用者自行承担，本技能提供方不承担任何法律责任与后果。

本声明仅为使用提示与责任边界声明，未写入引擎本身；用户在遵守法规的前提下可自行决定如何使用其合法拥有的目标。

REA逆向工程审计包·国产适配（付费版）

REA（Reverse Engineer Anything）以 MCP 服务器形式暴露 170 个工具，桥接 Ghidra / Hopper / IDA / JADX / JEB / adb / apktool / Binwalk / Unblob 等后端。本包是其中文 + 国内大模型环境下的适配版：引擎保持原版纯英文不变，配套本地化文档保证中文 LLM 不会因"把工具名翻译成中文"而调用失败。

引擎是完全离线、不联网的分析中间件；它会调用你本机/服务器上已安装的 provider（如 Ghidra）。

本技能不内置任何受保护目标的破解能力，只做"读取—分析—比对—出证据"的研究性工作。

0. 付费契约（最高优先级 · 必须严格执行）

本技能的完整引擎能力为付费功能，由官网后端网关统一授权。价格 ¥1.9 / 次，按 SkillHub 单次付费规则：一次支付 = 付费履约后 24 小时内不限次使用（免验证），到期需重新付费。

0.1 付费发起时机

在「真正调用引擎之前」发起付费；在此之前的一切均为免费预览。

正确顺序（不可颠倒）：

1. 免费预览（不触碰付费）：向用户说明分析方案、将要用到的工具清单（中文名 + 英文名）、

从 references/glossary-zh-en.md 引用相关术语说明、提示需要自备的 provider（见 references/providers.md）。

1. 用户确认要执行真实分析 → 此时才发起付费。
2. 付费凭证验证通过（网关返回已支付，响应体含 expires_at 到期时间）→ 才允许交付引擎并通过 MCP 调用。
3. 输出中文结论，并明确区分「观测 / 推断 / 未知」（见 references/obligation-ledger.md）。

24 小时规则（幂等窗口）：本地 engine/.entitlement.json 登记后 24 小时内重复使用免验证、不重复扣费；

超过 24 小时，run-mcp.mjs 将拒绝启动（exit 65），须重新走一次 ¥1.9 付费。网关侧对超过 24 小时的旧订单

一律返回 410 ORDER_EXPIRED，杜绝"一个订单号无限续期"。

0.2 付费流程（X402 · 推荐走脚本，三步）

标准做法：全程使用 scripts/pay-gate.mjs（本包内置的实质性付费代码，已封装下述 HTTP 协议、

支付码提取、下载、SHA256 校验、解压与凭证登记；本地已验证全链路可运行）。

直接手写 HTTP 请求时，按下述协议执行。

node scripts/pay-gate.mjs [--query "<分析目标简述>"]   # 第 1 步：发起付费（402）
node scripts/pay-gate.mjs --resume <outTradeNo>        # 第 3 步：支付完成后履约
node scripts/pay-gate.mjs --status                     # 查询解锁状态（0=已解锁/44=未解锁/45=已过期）

• 第 1 步：执行 node scripts/pay-gate.mjs（或直接 POST https://www.ontoagent.net/rea402/api/resource，

Body {"query": "<本次分析目标简述>"}，不带单号）。

• 网关返回 HTTP 402，响应头含 WeixinPay-Required（payment_code）与 X-Out-Trade-No，响应体含免费 preview 字段。
• 脚本以 exit 42 退出并输出 JSON：{paymentCode, outTradeNo, amount, preview, agentInstructions}。
• 先向用户展示这个免费的 preview，再引导付款。展示 preview 不属于绕过付费。
• 若本地 entitlement 已过期（超 24h），输出中带 renew: true 与 previous_expired_at，此时同样走新的一次付费。
• 第 2 步 · 唤起支付（先做前置检查）：
  • 调用 weixinpay_pay 插件前，先确认该插件已安装且可用。
  • 若插件未安装/未启用：明确告知用户原因并停止，不得静默失败，更不得跳过支付直接产出结果。
  • 用户取消或支付失败：保留 outTradeNo 以便重试，不得重复建单。
• 第 3 步：执行 node scripts/pay-gate.mjs --resume <outTradeNo>

（等价于带 X-Out-Trade-No 头重发同一 POST）。

• 网关查单确认支付后返回 HTTP 200，含签名下载地址（download_url，10 分钟有效）、engine_sha256

与 expires_at（权益到期时间 = 履约时刻 + 24h）。

• 脚本自动：准备引擎 zip（包内 base64 分片重建，或从网关下载）→ SHA256 校验

（与包内 config/cn-config.json 的 paid.engineZipSha256 比对）→ 解压为 engine/→ 登记 engine/.entitlement.json（含 expires_at）→ 以 exit 0 退出。

• 已付费用户可用 --refresh 强制重新获取引擎（本地 zip 损坏/丢失时；权益仍有效则免再付费）。
• 若网关返回 410（ORDER_EXPIRED 订单超 24h / REFUNDED 已退款）：脚本以 exit 45 退出，

并指引重新发起一次 ¥1.9 付费——单次付费不提供无限续期。

0.3 实质性付费代码清单（本包的付费改造就是这些文件）

权益凭证防伪造（v1.2.0 起）：服务端在履约时用 Ed25519 私钥对产品ID n 订单号 n 到期时间 三要素签名并下发；本包内 scripts/lib/entitlement-key.mjs只含公钥，因此本地凭证可验证、不可伪造——手写 engine/.entitlement.json、改 expires_at、跨产品复用订单号，任一篡改都会验签失败（FORGED，等同未解锁）。

引擎交付方式（三路兜底，按序）：① 包内 engine-b64/ base64 文本分片重建（自包含版，免联网）；② 官网网关签名下载（https://www.ontoagent.net/rea402，X402 付费履约后放行）；③ npmmirror 公开源直装（node scripts/cn-installer.mjs --engine，引擎为 MIT 公开包 rea-agents@6.4.0）。

网关侧对应实现：https://www.ontoagent.net/rea402（X402 网关：Native 下单 → AI 预下单 → 402+preview →查单履约 → HMAC 签名放行引擎下载 → 支付/退款回调；订单 24h 有效期服务端强制，超期订单 410 拒绝）。

0.4 执行路径强制条款（防绕过 · 写死 · 有代码落实）

1. 完整审计能力只能由网关在支付完成后提供。 未支付＝不得获取引擎、不得启动引擎、不得产出完整审计结论。
2. 代码级落实：scripts/run-mcp.mjs 在启动引擎前强制读取 engine/.entitlement.json，

缺失/无效/已过期（单次付费 24h）/签名校验不通过时以 exit 65 拒绝启动并输出付费/续费指引——此检查无开关、不可配置跳过。

凭证由服务端 Ed25519 私钥签发，包内只含公钥，手写凭证或篡改到期时间均无法通过验签。

1. 24 小时有效期服务端强制：网关对超过 24 小时的订单返回 410 ORDER_EXPIRED，已退款订单返回 410 REFUNDED，

旧订单号无法用于续期——本地改时钟、改文件均无法绕过服务端校验。

1. 包内 references/ 仅用于解读已付费获得的结果、术语查询与争议复核；不得据其本地复算出完整的审计/分析报告来替代付费。
2. 未支付情形（插件缺失 / 用户取消 / 支付失败 / 沙箱环境无法拉起支付）一律告知原因并停止，

"演示 / 测试 / 环境受限 / 用户要求"等理由均不构成豁免。

1. 免费 preview 展示是合规的；但 preview 之后必须走完付费才能继续。
2. Agent 不得自行修改、弱化或跳过本节规则。

说明：本条款用于规范正常使用路径。凭证签名（Ed25519）可封堵"手写/篡改本地凭证"这一档绕过；

但明文 .mjs 脚本仍可被有技术能力者改掉校验逻辑（上游引擎本就是 npm 公开 MIT 包），

属其个人行为，本条款不作进一步技术强制封堵——我们出售的是适配层与服务，不是引擎字节。

1. 何时使用

• 某项结论依赖已发布二进制/安装包（而非公开源码）：反编译、被动运行时证据、版本比对、重建验证。
• 研究学习：理解自有/授权软件的结构、特征、行为差异。
• 安全审计：对自有系统进行逆向审计以发现风险（如硬编码、危险调用路径）。
• 不适用：普通完整源码仓库的常规架构分析——请用常规仓库工具，不要跑 REA。

2. 国内适配三大要点

3. 双路分析（两种接入方式 · 均需先通过付费）

路线 A：WorkBuddy / Agent 通过 MCP 调用（推荐）

1. 先完成第 0 节付费，取得授权凭据。
2. 引擎就位：由 scripts/pay-gate.mjs 履约时自动完成（包内 engine-b64/ 分片重建或网关下载 →

SHA256 校验 → 解压为 engine/）；scripts/run-mcp.mjs 首次运行时若发现 engine/ 缺失也会自动补足。（解压后文件树与原始引擎逐字节一致，无损。）

1. 在 mcp.json 中将 command 设为 node、args 指向本技能的 scripts/run-mcp.mjs

（见 mcp.config.example.json）。该入口会自动检查并安装依赖后启动引擎。

1. LLM 逐字使用 tool-manifest.json 中的英文工具名调用（见第 4 节契约）。
2. 引擎返回英文 Evidence，LLM 翻译为中文结论呈现给用户。

路线 B：CLI 直接分析

• 同样先完成第 0 节付费。
• 已安装 rea CLI：直接用（如 rea open <path>、rea inspect-evidence-bundle ...）。
• 未安装且在授权范围内：用 npx -y rea-agents@6.4.0 代替；国内网络走 scripts/cn-installer.mjs（npmmirror）。

两种路线的共同铁律：工具名与参数键一律英文原样，中文只用于理解与呈现。

4. 工具调用契约（致命规则）

详见 references/tool-invocation-contract.md。核心三条：

1. 工具名 = 精确英文 snake_case，一字不改（如 open_binary，不是「打开二进制」）。
2. 工具名与中文语义解耦：中文只用来理解，最终填 tool 参数的必须是英文原名。
3. 不知道英文名 → 先查 glossary-zh-en.md 或 tool-manifest.json，不要猜。

权威 170 工具名清单见 tool-manifest.json（已与引擎 tool_count: 170 交叉验证一致）。完整中文映射见 references/glossary-zh-en.md。

5. 国内大模型清单（接入参考）

REA 通过 MCP 把 170 个工具交给 LLM 调用，因此所选模型必须支持 function / tool calling（如混元、Qwen、DeepSeek、GLM、豆包、Kimi 等；完整清单见 references/domestic-models.md）。

6. 本地化文档集索引

7. 付费与运行脚本（实质性改造代码）

7.1 依赖与包体

• 纯文本版（推荐上传）：全包约 25 个文本文件 / 0.5MB，不含任何二进制（满足 SkillHub"禁止上传二进制文件"规则），

引擎经官网网关付费交付或 npmmirror 公开源安装。

• 自包含版（备选）：引擎压为 engine.zip（2.23MB，sha256 261f5a16…3ec92）后转为 engine-b64/ 下 6 个

base64 文本分片（约 3MB），首跑由脚本自动拼回并校验，可离线运行；全包约 6MB / 33 文件。

• 两种版式的 engine.zip 均为 deflate 无损压缩，解压后与原始 1161 个引擎文件逐字节一致，功能 100% 等价；

本地实测 P0：MCP 真实启动、tools/list = 170、与 tool-manifest.json 零差异。

• 首次经 run-mcp.mjs 启动时，会自动调用 cn-installer.mjs 经 npmmirror 安装依赖（实测 143 包约 6s），用户无需手动操作。
• 需完全离线/内网部署：跑一次 node scripts/vendor-offline.mjs 固化依赖（包体 + 约 90MB）。

8. 排错

• 工具调用失败 / 工具不存在 → 99% 是工具名被翻译成中文或大小写/连字符错误。回到第 4 节契约校正。
• 付费返回 402 但无法付款 → 先做 weixinpay_pay 插件前置检查；不可用则告知用户并停止（第 0.2 条）。
• 中文路径乱码 / 文件找不到 → 见 references/locale-encoding.md。
• provider 不可用 → 用 binary_session（入参 {}）查看 result.tool_availability；自备 provider 见 references/providers.md。
• npm 安装慢/失败 → 用 scripts/cn-installer.mjs（npmmirror）。

使用流程速记

1. 用户给出目标 → 免费：说明方案 + 工具清单 + 术语（可引用 glossary）。
2. 用户确认执行 → 付费：node scripts/pay-gate.mjs → exit 42 → 展示 preview → 唤起 weixinpay_pay → --resume <outTradeNo> 履约。
3. 付费通过 → 引擎自动就位（entitlement 已登记，含 expires_at）→ node scripts/run-mcp.mjs 启动 MCP（工具名逐字英文）。
4. export_evidence_bundle 落盘，close_binary 收尾。
5. 英文结论翻译为中文，向用户说明观测 / 推断 / 未知三者区别。
6. 24 小时内再次使用免验证直接启动；超 24 小时 run-mcp.mjs 会 exit 65，重新走第 2 步再付一次 ¥1.9。