检测源代码中敏感数据未清零的问题，并通过汇编级分析和控制流验证识别被编译器优化删除的清零操作，适用于审计处理密钥、密码或其他敏感数据的C/C++/Rust代码

结构化任务规划，包含清晰的分解、依赖关系和验证标准。适用于功能实现、重构或其他多步骤工作。

使用自动化测试、人工验证和修复指导进行WCAG 2.2无障碍审计，适用于网站无障碍审核、修复WCAG违规或实施无障碍功能

Plaid API 集成的专家模式，包括 Link 令牌流程、交易同步、身份验证、ACH 认证、余额查询、Webhook 处理以及金融科技合规最佳实践

用于验证代码是否准确实现了区块链审计文档中规定的全部内容，适用于将代码与白皮书对比、发现规范与实现之间的差异，或对协议实现进行合规性检查

在收到代码审查反馈后、实施建议前使用，尤其当反馈内容不明确或技术上存疑时——需要技术严谨性与验证，而非形式主义

在声称工作已完成、已修复或通过之前使用，需先运行验证命令并确认输出结果，再做出任何成功声明；evid...

当编码任务必须依据明确的验收标准完成，且在整个实现、审查反馈、部署和运行时验证过程中尽量减少用户干预时使用。

通过 ADB 在 Android 模拟器上实现自动化端到端 UI 测试与验证