用途：该技能为 Android 开发提供自动化测试验证工作流，核心是用 pass@k 指标（k 次迭代中通过的测试比例）多次运行测试，暴露单次运行无法发现的时序问题、异步问题、资源竞争与可靠性趋势。
主要能力：提供四级验证——快速（k=2，约2分钟，小改动后）、标准（k=3，约5分钟，推送前）、彻底（k=5，约10分钟，发布前或重构后）、发布（k=10，约20分钟，生产发布或关键缺陷）。针对单元测试（JUnit）、UI 测试（Espresso）、Compose 测试分别给出目标 pass@k 阈值（0.95、0.80、0.90）及常见不稳定原因与修复策略，如协程用 runTest + advanceUntilIdle、网络用 IdlingResource、UI 测试禁用动画。还提供结果解读表、趋势跟踪、不稳定模式识别（如仅首次迭代失败、随机失败、仅并行失败）与修复四步法。
使用方式：通过命令调用，如 /mobile-verify --k=2、/mobile-verify --class=NewTest --k=3、/mobile-verify --module=... --k=2、/mobile-verify --k=5 --flaky。可与 checkpoint、memory、instincts 集成，记录 pass@k 与不稳定测试。
适用场景：Android 开发中的提交前、推送前、发布前验证，以及不稳定测试排查。
限制：资料仅覆盖 Android 相关测试框架与命令，未提供安装方式、收费、平台支持范围等信息；阈值与耗时均为资料给出的参考值。