从手工逆向到 Verdex 与 Fairy：AI 辅助移动安全分析的工具化实践

作者把移动 App 逆向中反复出现的解包、反编译、抓包与证据整理动作固化为 Verdex 和 Fairy 两个工具，由模型通过 MCP 调用。Verdex 只做只读静态分析，结论分资产、关系、数据流候选、人工结论四层并带文件行号；Fairy 是受控请求层，需 fairy.scope.json 授权，默认关闭参数级探测与写操作。两者以证据链衔接，静态发现一律先标候选，需真机复现才升级为已验证。