skill-upgrader

用途

Skill Upgrader 是一个元技能，用于将任意 SKILL.md 升级为 Decision Theory v5 Hybrid 格式。它借助决策论与模态逻辑，把技能中的流程、约束和验证条件形式化，产出结构化的 v5 Hybrid 技能文件。

主要能力

该技能通过 4 个并行智能体协作完成升级，每个智能体查询 Ragie 中特定书籍的索引内容，并将发现追加到共享黑板：

Agent 1：LaValle Planner——基于 LaValle《Planning Algorithms》（decision-theory 分区），聚焦状态、动作、转移，识别技能中的 MDP 结构，判断是 POMDP 还是完全可观测。
Agent 2：Sutton & Barto Optimizer——基于 Sutton & Barto《Reinforcement Learning》（decision-theory 分区），聚焦策略、终止、价值，设计策略与终止条件，识别高/低价值状态。依赖 Agent 1 的发现。
Agent 3：Blackburn Modal Logician——基于 Blackburn《Modal Logic》（modal-logic 分区），聚焦约束，提取时序（□、◇、U）、认知（K）、道义（O、F、P）、动态（[action]）约束。
Agent 4：Huth & Ryan Verifier——基于 Huth & Ryan《Logic in Computer Science》（modal-logic 分区），聚焦验证、安全性、活性，检查安全性（□¬bad）、活性（◇good）、一致性、完备性，给出 PASS 或 NEEDS_WORK 结论。依赖 Agent 1-3 的发现。

使用方式

前置条件

需要配置 Ragie RAG，并索引以下书籍：

decision-theory 分区：LaValle《Planning Algorithms》、Sutton & Barto《Reinforcement Learning》
modal-logic 分区：Blackburn《Modal Logic》、Huth & Ryan《Logic in Computer Science》

工作流程

Step 1：建立会话

SESSION=$(date +%Y%m%d-%H%M%S)-upgrade-{skill_name}
mkdir -p thoughts/skill-builds/${SESSION}

Step 2：初始化黑板

创建 thoughts/skill-builds/{session}/00-blackboard.md，记录技能名称、开始时间、输入技能路径、目标格式（Decision Theory v5 Hybrid）以及智能体发现区域。

Step 3：并行启动 4 个智能体

使用 Task 工具同时生成全部 4 个智能体。每个智能体读取输入技能、查询 Ragie 中对应书籍、将发现追加到黑板。各智能体的提示词中指定了输入技能路径、黑板路径、所属书籍与分区，以及需要回答的问题和写入的黑板章节。

Ragie 查询示例：

# Decision theory 分区
uv run python scripts/ragie_query.py -q "your question" -p decision-theory

# Modal logic 分区
uv run python scripts/ragie_query.py -q "your question" -p modal-logic

# 带重排序以获得更好结果
uv run python scripts/ragie_query.py -q "your question" -p decision-theory --rerank

Step 4：合成最终技能

所有智能体完成后，读取黑板并创建输出文件 thoughts/skill-builds/{session}/SKILL-upgraded.md，使用 v5 Hybrid 模板，包含以下章节：

Initiation (I)：来自原始技能 + Agent 1 状态分析
Observation Space (Y)：来自 Agent 1 POMDP 分析
Action Space (U)：来自 Agent 1 动作
Policy (pi)：来自 Agent 2 状态→动作规则
Termination (beta)：来自 Agent 2 回合结构
Q-Heuristics：来自 Agent 2 价值指导
Constraints：来自 Agent 3 模态逻辑
Verification：来自 Agent 4 安全性/活性

模板头部为：

---
name: {original_name}
description: {original_description}
version: 5.1-hybrid
---

示例用法

用户："Upgrade .claude/skills/implement_plan/SKILL.md to v5 Hybrid"

Claude 将：

创建会话目录
初始化黑板
并行启动 4 个智能体（Task 工具）
等待完成
读取黑板
合成升级后的技能
报告："Upgraded skill at thoughts/skill-builds/.../SKILL-upgraded.md"

触发时机

"Upgrade this skill to v5"
"Formalize this skill with decision theory"
"Add MDP structure to this skill"
"Apply the skill-upgrader to X"

适用场景

适用于希望将现有技能形式化、引入 MDP 结构、用决策论和模态逻辑增强技能定义的用户。典型场景包括升级 .claude/skills/ 下的技能文件。

限制

依赖 Ragie RAG 及上述四本书的索引，未配置时无法运行。
需要能够使用 Task 工具并行生成子智能体。
智能体 2 依赖智能体 1 的发现，智能体 4 依赖智能体 1-3 的发现，存在顺序依赖。
输出为 v5 Hybrid 格式，具体效果取决于原技能内容与 Ragie 检索质量。

产出文件

升级完成后生成：

thoughts/skill-builds/{session}/
├── 00-blackboard.md      # 智能体协作
├── SKILL-upgraded.md     # 最终 v5 Hybrid 技能
└── validation-report.md  # Agent 4 验证