用途：这是一套面向智能体的推理与编码过程纪律，用于在非平凡任务（调试、编码、分析）开始时加载，减少凭假设行动带来的返工。
主要能力：以分阶段流程组织工作。阶段0理解真实任务，明确交付物、已知与假设、完成标准；阶段1像侦探一样定向收集上下文，从行为入口追踪真实执行路径，读错误信息全文；阶段2用显式假设推理，先枚举2至4个候选解释，按可能性乘以验证成本排序，主动寻找反证，一次只改一个变量，区分已验证、已推断与假设；阶段3对非平凡改动先写可验证的有序计划，设计最小且完整的改动，评估影响范围，对不可逆操作先确认；阶段4以小步可验证增量执行，保持反馈闭环，发现重复循环就回到阶段2；阶段5以对抗性自检复核改动与结论。
必要用法：技能内含参考文件，任务核心属于对应活动时再加载：references/debugging.md（调试方法：复现、二分、假设树、竞态、海森堡 bug）、references/coding.md（编码手艺：阅读顺序、惯用法匹配、边界用例分类、安全重构、API 核验）、references/verification.md（验证深度：设计判别性测试、端到端演练、自审 diff）。主技能适用于常规工作。
适用场景：调试、定位根因、多文件功能开发、架构或高风险变更前的分析，以及需要区分已验证与未验证结论的答复。也给出按任务规模校准投入的表格，并提醒最常犯的错误是把中等任务误判为琐碎。
限制：资料未提供该技能的安装命令、支持的平台、收费与价格信息，暂未提供。属方法流程类技能，具体效果取决于执行者是否遵循。