用途:在不运行代码的情况下,用具体输入值逐行“脑内执行”目标代码、技能、命令或配置,找出潜在缺陷、错误假设、边界情况,以及为实现意图而缺失的代码。适用于部署前检查、无调试器排错、审查陌生或 AI 生成代码、验证循环/条件/递归等复杂逻辑。
主要能力:按目标规模选择方式——少于 50 行用快速追踪;50–300 行用单智能体结构化三阶段(A 正常路径、B 六类边界、C 五类对抗、D 自审);300 行以上或安全关键用 /code-paper-test:test-team(3 个智能体)。技能/命令/智能体文件建议用 test-team。场景深度随 ${CLAUDE_EFFORT} 调整:low 为 1 正常 + 1 错误,medium 每阶段 2 个,high/xhigh/max 每阶段 3 个以上;无论何种级别都至少追踪一个正常路径和一个错误路径,并始终验证每个外部调用。
使用方式:8 步工作流——定义测试场景、逐行追踪并记录变量状态、跨边界追踪数据流、跟随每个分支、追踪循环迭代、用 Read/Grep 核实外部依赖、验证代码契约(extends/implements/uses/injects)、记录输出与缺陷及未测试路径。核心纪律是“绝不假设”:外部方法、服务、接口或配置值必须用 Read 和 Grep 核实;闭源不可得时标记为 UNVERIFIED RISK。存在性验证之外还要做行为验证:定位声明契约(类型存根→OpenAPI→文档→docblock),枚举调用方对返回值的假设并比对;闭源无契约时按污点立场处理。
JSON 输出:加 --json 可输出稳定版本化 JSON(当前 schema_version 1.1,CI 应固定 ^1\。),findings 始终为数组,status 为 pass/warning/fail,严重度沿用 CRITICAL、HIGH、MEDIUM、LOW、INFO。示例:/paper-test --json src/Service/UserService.php 与 /code-paper-test:test-team --json src/Service/PaymentService.php。
限制与配套:测试技能/命令/智能体时,先运行 claude-plugin-checks 的 check skill 做确定性检查,再做语义分析。Red Team Attacker 视角与 security-guidance 插件互补,不可互相替代。详细方法见 references/ 目录下 workflow.md、core-method.md、structured-3-phase.md、dependency-verification.md、contract-patterns.md、behavioral-verification.md、json-output-schema.md 等文档。