用途：为代码分析提供半形式化证书推理，通过结构化证书模板强制在得出结论前完成必要检查点，主要用于补丁验证、故障定位和补丁等价性判断。
主要能力：提供证书模板与验证检查点；支持按顺序组合任务，例如先做故障定位找出缺陷，再做补丁验证确认修复，最后做补丁等价性比较不同修复方案，每一步输出作为下一步前提。
使用方式：技能目录内含模型相关说明文件。若为 Haiku 级别（Haiku 4.5、Haiku 5.5），阅读该技能目录下的 haiku.md，其中包含完整流程模板与示例；若为 Sonnet 级别及以上（Sonnet 5、Sonnet 5.5、Opus、Fable），阅读 sonnet.md，其中包含精简验证检查点。
跳过条件：变更琐碎（文档、格式、版本号、配置）；缺陷局部明显（拼写错误、同一函数内差一错误、缺逗号）；无执行路径跨越作用域边界；任务非代码分析（文本编辑、数据提取、摘要）。满足任一条件时使用常规推理。
限制：资料未提供安装命令、收费、平台支持或效果数据；具体模板内容需查阅技能目录内文件。