Skill Logic Conflict Checker Yashu

Skill Logic Conflict Checker — 技能逻辑冲突检查器

功能概述

对指定 Skill 进行全量深查：读取 SKILL.md + 全部 references/ 目录下的 .md 文件，检测字面矛盾与深层语义冲突，输出结构化冲突清单。

环境说明

全局前置条件

触发映射

检查范围与深度

文件覆盖范围

1. 必须读取：$TARGET_SKILL_DIR/SKILL.md
2. 必须读取：$TARGET_SKILL_DIR/references/ 目录下所有 .md 文件（递归遍历子目录）
3. scripts/、config/ 等目录下的非 .md 文件不检查，但在冲突溯源时可作为辅助参考

两维检查深度

维度 1：字面矛盾（Literal Contradiction）

同一条规则、参数、数值在两处或多处文档中表述不一致：

维度 2：深层语义冲突（Deep Semantic Conflict）

两条不同规则之间间接互斥，或规则与示例、流程逻辑之间存在自相矛盾：

执行流程

步骤 1：确定目标 Skill

1. 从用户输入中提取 skill 名称
2. 定位 $TARGET_SKILL_DIR 为 .trae/skills/<skill-name>/
3. 若目录不存在或缺少 SKILL.md，提示用户并终止

步骤 2：全量读取文档

1. 读取 SKILL.md 全文
2. 使用 Glob 发现 references/ 下所有 .md 文件
3. 逐个读取所有 references 文件全文
4. 记录文件清单（文件名、行数），作为报告附录

步骤 3：字面矛盾检测

对每一对文档（包括 SKILL.md 与 references、references 之间），检测：

• 是否出现相同的关键数值但值不同
• 是否出现相同的术语/标识但定义不同
• 是否出现相同的操作/流程但步骤描述不同

方法：从文档中提取关键实体（数值、参数名、端点、步骤序号、约束条件），逐对比较。

步骤 4：深层语义冲突检测

对所有文档进行整体分析：

• 提取所有显式规则/约束/要求，两两比较是否存在互斥
• 将代码示例/命令示例与文字描述对照，检查行为一致性
• 分析流程步骤的前置依赖，检查顺序合理性
• 检查引用目标是否存在且内容匹配
• 检查全局声明是否被局部规则违反

方法：构建"规则清单 → 规则关联图 → 矛盾推理"三步管线。

步骤 5：生成结构化冲突清单

输出完整报告（格式见下方）。

输出格式

报告结构

# 逻辑冲突检查报告

**目标 Skill**：{skill-name}
**检查时间**：{timestamp}
**覆盖文件**：{N} 个（SKILL.md + {M} 个 references）

---

## 一、总览

| 严重级别 | 数量 |
| -------- | ---- |
| 高       | X    |
| 中       | Y    |
| 低       | Z    |
| **合计** | N    |

---

## 二、字面矛盾

### [高] 冲突标题（简短概括）

- **涉及文档**：`文件A.md#L10-L15` vs `文件B.md#L20-L25`
- **冲突描述**：（一句话说明矛盾点）
- **原文 A**：
  > 引用原文关键句
- **原文 B**：
  > 引用原文关键句
- **建议**：（提出统一方案）

---（每项冲突以此格式重复）

## 三、深层语义冲突

### [高] 冲突标题（简短概括）

- **涉及文档**：`文件A.md#L10-L15` vs `文件B.md#L20-L25`
- **冲突类型**：规则互斥 / 检查表与示例矛盾 / 流程顺序不合理 / 前置条件缺失 / ...
- **冲突描述**：（详细说明为何构成冲突）
- **原文 A**：
  > 引用原文关键句
- **原文 B**：
  > 引用原文关键句
- **推理过程**：（说明从 A + B 如何推出矛盾）
- **建议**：（提出修正方案）

---（每项冲突以此格式重复）

---

## 附录：文件清单

| 序号 | 文件路径（相对 `$TARGET_SKILL_DIR`） | 行数 |
| ---- | ------------------------------------ | ---- |
| 1    | SKILL.md                             | XXX  |
| 2    | references/xxx.md                    | XXX  |
| ...  | ...                                  | ...  |

输出位置

直接输出到对话中，不写入文件。

使用示例

用户：检查 skill-tester 的文档有没有逻辑冲突
AI：
  1. 定位 .trae/skills/skill-tester/
  2. 读取 SKILL.md（218 行）
  3. 发现 references/ 下 5 个文件，逐个读取
  4. 执行字面矛盾检测 + 深层语义冲突检测
  5. 输出结构化冲突清单

全局规则

全局错误处理