把 AI 智能体接入 REA 后,智能体可以通过 MCP 调用分析能力,并在整理发现时附上相关证据。要让这类结果便于复核,关键不只是完成注册,还要确认提供方可用、智能体已重新加载配置,并在分析后检查证据快照。
以下流程适用于你有权分析的应用或文件。REA 的设置方式和可用能力可能随版本变化,开始前建议先核对项目文档。
先明确要调查的功能,以及目标文件或应用的位置。问题越具体,后续越容易判断分析结果是否回答了原问题。例如,与其笼统地要求“分析这个应用”,不如指定某项功能,并要求智能体说明发现及其依据。
还要区分分析类型:REA 可以检查 JavaScript 和 Electron 应用;原生分析则需要配置分析提供方。资料提到的提供方包括 Hopper、Ghidra、IDA 和 Kuna。若只是做静态 JavaScript 分析,不需要原生分析引擎。
安装前检查本机是否具备所需的运行环境和工具。资料说明安装器不会替你安装 Node.js;如果要进行原生分析,还需准备相应提供方,或在设置时单独批准安装 Hopper。不要把“REA 已安装”当成“所有分析能力都已就绪”。
安装 REA 后,可使用项目资料给出的命令启动设置流程:
npx rea-agents setup
设置过程会检测智能体客户端,并让你选择要配置的客户端。检测到某个客户端,不代表你已授权为它新增注册;检查选择时,应只保留确实要接入的智能体。
批准修改前,逐项查看设置计划中列出的配置路径、拟写入内容及相关安装操作。确认目标客户端正确、变更范围符合预期后再批准;如果计划不清楚,或出现未经你预期的修改,先取消并查明原因。资料说明,设置流程会在批准后写入 MCP 注册和配套工作流说明,并备份旧配置。完成后,留意提示中要求重启的客户端。
智能体注册解决的是“能否通过 MCP 调用 REA”,提供方配置解决的是“相应分析能力是否具备”。如果任务涉及原生二进制,必须确认已配置合适的分析提供方;如果目标是 JavaScript 或 Electron 静态分析,则不应仅因尚未配置原生引擎,就判定全部功能不可用。
资料提到可以运行 rea doctor --json 做只读诊断,也可以按提供方或客户端限定检查范围。只读检查适合在批准设置前后核对状态:设置前用于了解现状,设置后用于确认注册和提供方是否就绪。诊断结果若显示缺项,应先处理对应配置,再开始分析。
rea doctor --json
如需完整的 MCP 输入字段说明和嵌套验证细节,可在注册中设置 REA_MCP_INPUT_SCHEMA_PROFILE=full;默认配置使用紧凑输入 Schema。两种配置都保留完整工具集和服务端验证。通常先使用默认配置即可,只有确实需要完整字段说明时再切换。
REA_MCP_INPUT_SCHEMA_PROFILE=full
客户端完成配置并重启后,在智能体对话中描述分析目标、希望回答的问题,以及需要呈现的证据。比如,可以要求它调查某个应用的搜索功能如何工作,并展示支持结论的证据;将示例中的应用替换为你有权分析的目标。
智能体负责理解任务并调用 REA,REA 则提供分析能力。阅读结果时,不要只看结论:还要确认它讨论的是你指定的功能,并检查每项重要判断是否附有对应证据。若证据不足,应让智能体指出尚未确认的部分,而不是把推断写成确定事实。
如果任务可以通过终端完成,资料给出的 JavaScript/Electron 静态分析命令如下:
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json
将路径替换为目标应用目录或文件的实际路径。该命令的资料示例针对已解包的 JavaScript/Electron 应用目录或 ASAR 文件;不要据此推断其他目标类型也适用。结果包含模块、导入、Electron 边界及相关证据。
证据快照的价值在于让分析过程和结论更容易复核,而不是替代人工判断。完成分析后,检查输出中是否能把关键结论与对应证据联系起来,并留意结果所注明的限制。若某个结论没有足够证据支撑,应将它标记为待核实,避免直接用于实现决策。
整理结果时,可以记录分析目标、所问功能、智能体返回的主要发现、对应证据以及仍未解决的问题。这样,即使之后更新 REA 或更换分析环境,也能看出哪些判断已有依据,哪些还需要重新检查。资料没有给出证据快照的具体命令或固定字段,因此不要把未经确认的命令、参数或字段名套用到自己的流程里。
!分析结果中的发现与证据对应关系示意<!– xhai-workflow-image {"index":2,"prompt":"一份抽象的软件分析结果示意,左侧为简洁的发现条目,右侧以连线对应到代码片段和证据记录,突出结论可追溯、证据可复核,不包含可读文字、品牌标识或真实应用界面,清晰克制的技术信息图风格,白色背景配少量蓝绿强调色","alt":"软件分析发现与对应证据之间的可追溯关系"} –>
REA 更新后,不要默认客户端仍加载着最新配置。先按项目文档使用对应的更新方式,再运行只读诊断,检查智能体注册和所需提供方是否仍然就绪。如果诊断结果显示异常,先处理设置问题。
确认配置后,按提示重启相关智能体客户端,再进行一次小范围的验证任务,确认智能体能够调用 REA,并且结果带有可检查的证据。把“更新、检查设置、重启、验证”作为固定维护流程,比仅凭安装命令成功就继续分析更可靠。
Δ
Ctrl+D