mcpField
L
logic-locate

logic-locate

github.com/hyhmrright开发2560 次安装4 周前更新
代码仓库

关于 logic-locate

logic-locate 是面向开发者的故障定位技能，用于调查具体的软件故障。它从故障点反向和正向追踪值与状态，并以置信度和最小修复方案报告一个根因。

主要功能

  1. 01故障范围判定
  2. 02反向与正向追踪
  3. 03跨过程调用追踪
  4. 04根因差异分类
  5. 05结构化故障报告

适用场景

  1. 01调查失败的断言
  2. 02追查错误输出的来源
  3. 03诊断应用堆栈跟踪

安装

复制下面的命令，在终端中运行。

$npx skills add https://github.com/hyhmrright/logic-lens --skill logic-locate

安装后在 Claude Code 中输入/logic-locate确认已加载。

附带文件logic-locate-guide.md

详细介绍

Logic-Lens — 故障定位

设置

按 ../_shared/common.md §13 进行延迟加载：

  1. 仅为语言、铁律、故障置信度、范围路由、修复原则、配置字段和加载预算读取 ../_shared/common.md。
  2. 到达相应步骤时，只读取 logic-locate-guide.md 中相关的步骤。
  3. 当前步骤需要时，再按需加载 ../_shared/logic-risks.md、../_shared/semiformal-guide.md、../_shared/semiformal-checklist.md 和 ../_shared/report-template.md。

流程

步骤 0. 语言 + 范围路由。 按 common.md §1 检测语言。确认存在具体故障（堆栈跟踪、失败的断言或特定错误值）。如果只有怀疑，则切换到逻辑审查。

步骤 1. 理解故障（指南步骤 1）——观察到的行为、预期行为、复现路径。

步骤 2. 确定入口点（指南步骤 2）——失败的测试、最外层的应用程序栈帧或请求处理程序，以最接近故障的为准。先留在故障范围内：堆栈帧、失败的测试夹具、直接调用的本地函数，以及该路径上读取的配置/环境值。除非跟踪路径进入其他模块，否则不要扫描无关模块。

步骤 3. 从故障点反向追踪（指南步骤 3）——逐步追溯每个值和状态的来源，并在每一跳构建前提。

步骤 4. 向前追踪以确认（指南步骤 4）——从疑似根因出发，验证追踪路径是否能到达观察到的症状。

步骤 5. 如果涉及被调用函数，则进行跨过程追踪（指南步骤 5）——追踪进入被调用函数；检查观察到的条件下的返回值、未处理的异常和共享状态变更。遵守 semiformal-guide.md §Call-Chain Context Labels 中定义的深度限制和调用链上下文标签格式；达到限制时，将剩余的被调用函数路径作为前提假设说明，并将置信度降为 中（依据 common.md §7）。

步骤 6. 找出根本偏差并分类（指南步骤 6）——指出确切的代码行/表达式、违反的前提、实际行为以及症状的传播链；选择 L 代码。

步骤 7. 输出聚焦报告（指南步骤 7）——故障置信度（高/中/低，依据 common.md §7）；主要故障（单个五字段发现）；可选的促成因素；以及符合 common.md §10 的最小修复方案。格式为强制要求，即使是简单的单函数错误也不例外：始终输出带标签的 Premises / Trace / Divergence / Trigger / Remedy 字段和故障置信度行。绝不可只给出纯粹的修复建议。

报告中的模式行： Fault Locate（中文：故障定位）。

输出格式： Findings 部分只有一个主要故障，不采用完整的 Critical/Warning/Suggestion 分类。Logic Score 行替换为 Fault Confidence: High / Medium / Low。

评论

支持 Markdown