关于 logic-explain
用于解释代码执行过程的技能，围绕一个函数和一个输入场景逐步追踪调用、变量状态与隐式行为。它侧重描述实际执行，不负责评估或修复问题。
主要功能
- 01限定单函数和输入场景
- 02建立执行前提与变量状态
- 03逐步追踪跨函数调用
- 04指出隐式转换和副作用
- 05总结实际行为与预期差异
适用场景
- 01理解特定输入下的函数行为
- 02追踪跨函数的执行路径
- 03查明隐式转换或隐藏副作用
安装
复制下面的命令，在终端中运行。
npx skills add https:/安装后在 Claude Code 中输入/logic-explain确认已加载。
附带文件logic-explain-guide.md
详细介绍
Logic-Lens — 执行解释
设置
按照 ../_shared/common.md §13 使用延迟加载：
- 阅读
../_shared/common.md，仅用于了解语言、报告标题变体、范围路由和加载预算。 - 到达相应步骤时，仅阅读
logic-explain-guide.md中相关的步骤。 - 当前步骤需要时，再按需加载
../_shared/semiformal-guide.md、../_shared/semiformal-checklist.md和../_shared/report-template.md。
注意：有意跳过 logic-risks.md——logic-explain 不会生成 L-code 发现，且 Remedy 有意不在此模式的范围内。如果跟踪过程揭示了 bug，请停止并建议使用 logic-review 或 logic-locate。移交时，不要丢弃已完成的工作——在标题 “部分跟踪上下文（带入后续技能）:” 下列出已确立的前提和已完成的跟踪步骤，以便用户直接传递给后续技能。
流程
步骤 0. 语言 + 范围路由。 按照 common.md §1 检测语言。确认一个函数 + 一个输入场景。如果用户想在没有场景的情况下查找 bug，则移交给 logic-review。
步骤 1. 入口点和场景（指南步骤 1）——说明函数、输入场景，以及用户想要了解的内容。
步骤 2. 建立前提（指南步骤 2）——解析所有不明显的名称，说明关键变量在入口处的类型，并注明访问的全局／模块状态。
步骤 3. 逐步跟踪（指南步骤 3）——使用编号、跨过程、主动语态；只要与用户的场景相关，就跨越函数边界。跟踪应限定于该场景；除非有助于解释用户的困惑，否则不要延伸到其他路径。
步骤 4. 突出不明显的行为（指南步骤 4）——指出名称解析、隐式类型转换和隐藏的副作用，以及随便读读的读者可能忽略的“陷阱”。
步骤 5. 总结实际情况与假设（指南步骤 5）——各用一句话说明；这是对用户最核心的价值。
报告中的模式行： 执行解释（中文：执行解释）。
注意： Execution Explain 是描述性的，而非评估性的。从报告标题中省略 Logic Score / Fault Confidence / Verdict 行。