用途:对任意语言代码库执行对抗式 QA 审计,目标是主动找出缺陷、逻辑错误与安全漏洞,而非确认代码“看起来没问题”。适用于“找 bug”“审计代码”“深度正确性检查”等请求,不用于风格或可读性审查。
主要能力:按顺序执行七个阶段——确定范围、梳理代码库结构、逐行静态检查、追踪关键数据路径、对抗式模拟(null、空值、边界、并发、畸形输入等)、交叉引用同类错误、严重度分级,最后写入 bugs.md。缺陷分类涵盖逻辑错误、空值/类型安全、边界情况、错误处理、并发/异步、安全、资源泄漏、跨文件一致性、API 契约不匹配、状态管理、死代码、性能、依赖问题、文档与注释不符。严重度分为 Critical、Intermediate、Normal,未触发的休眠缺陷不降级但需注明。
使用方式:触发后先确认审计范围(指定文件/文件夹、全库、git diff 或特定区域),排除 node_modules、vendor、dist、build、.git 及压缩打包文件。输出为项目根目录的 bugs.md,含摘要计数与按严重度分组的条目,每条需精确 file:line、问题、触发条件、影响、建议修复、置信度与状态。重复运行会先读取旧文件、重新验证 Open 项、继续编号并更新摘要。
限制:仅做静态分析与人工推演,不能执行代码;无法在业务需求完全缺失或含糊的区域发现逻辑缺陷。默认不自动修复,只有用户明确要求修复时才进入修复模式,且只处理指定 ID 或严重度层级。不记录风格或格式偏好。