该技能用于合并前代码审查、模块或子系统审计、安全关键代码审查,以及用户提出代码审查请求的场景。
工作方式:先确定审查目标并收集完整上下文(被审文件、WF 规范、token 定义、相关测试、pass 管线信息),超过约 300 行时按文件、pass 或函数组分段独立审查。随后并行启动 conservative-lens、security-lens、usability-lens、speed-lens 四个独立子代理,各以两阶段方式工作:先清点所有函数、重写规则、pass 定义、匹配分支和重要代码块,再逐项按各自关注点评估并写出“No issues.”。四个视角分别关注过度抽象与兼容性、递归与边界校验及正则安全、命名与文档与控制流、内存分配与遍历与算法复杂度。之后对结果去重、分类(Security、Correctness、Performance、Quality)并按优先级定级(CRITICAL 至 LOW)。
接着顺序运行 adversarial-lens 子代理,输入完整代码、上下文和已合成发现,仅报告其他审查者遗漏的新问题,再并入结果。
对 CRITICAL 和 HIGH 问题尝试复现或核对 WF 规范,标记为 Verified、Likely 或 Unverified。最终报告包含摘要、Critical 与 High、Medium、Low 问题、修复计划及正面观察。严重级别有歧义时按正确性、安全、可用性/可维护性、性能的顺序裁决。限制包括:不得跳过 CRITICAL/HIGH 验证,禁止在未明确说明的情况下改变 pass 管线语义,每个子代理必须为全新实例以避免上下文污染;收费、价格与平台等未提供。