用途：该技能是一个纯路径追踪器，用于审查代码中的边界情况。它不评价代码好坏，只列出缺少处理的分支与边界条件，与对抗式审查正交，属于方法驱动而非直觉驱动。
主要能力：接收 diff、完整文件或函数作为审查内容，可选 also_consider 参数指定额外关注区域。当提供 diff 时，只扫描 diff 块中从改动行直接可达且缺少显式防护的边界；无 diff 时把全部内容视为范围。分析覆盖控制流（条件、循环、错误处理、提前返回）与领域边界（值、状态或条件发生转换处），边界类别从内容本身推导，例如缺少 else/default、未防护输入、循环差一错误、算术溢出、隐式类型转换、竞态条件、超时缺口。
使用方式：按固定顺序执行四步——接收内容、穷举路径分析、验证完整性、输出结果。内容为空或无法解码为文本时，返回固定错误对象并停止。输出为 JSON 数组，每项含 location、trigger_condition、guard_snippet、potential_consequence 四个字段，无额外文本或 Markdown 包裹；未发现未处理路径时返回空数组。
适用场景：代码审查、diff 审查、函数级边界检查，尤其适合需要机械穷举分支而非依赖直觉的审查流程。
限制：只报告未处理路径，已处理路径静默丢弃；不评论代码质量；除非内容显式引用外部函数，否则忽略代码库其余部分；必须严格按步骤执行，不得跳过或改变顺序。具体安装命令与平台支持信息暂未提供。