子代理驱动开发是一种软件开发方法，通过为每个独立任务分配新的子代理并实施代码审查，确保高质量代码和快速迭代。它适用于当前会话中的计划执行，提升开发效率，减少错误。关键词：子代理、代码审查、任务驱动、快速迭代、质量门控、软件开发、敏捷开发、自动化测试。

这个技能用于自动修复技能文件 SKILL.md 中的错误指令和过时 API 引用，确保技能在运行时正确执行，提高开发效率和准确性。关键词：技能修复、SKILL.md、文档校正、API 更新、自动化维护。

项目会话管理器（PSM）是一个自动化技能，用于创建和管理隔离的开发环境，通过git工作树和tmux会话实现，支持并行处理多个开发任务、项目和代码仓库，提高开发效率。关键词：git工作树, tmux, 开发环境, 隔离, 自动化, 并行开发, DevOps工具, 代码管理, 会话管理

模型检查器接口是一个专注于形式化验证的专业技能，用于指导用户使用SPIN、NuSMV、UPPAAL等主流模型检查工具，对软件、硬件系统或协议进行自动化验证。核心功能包括：系统规范生成、时序属性验证、反例追踪分析和抽象精化。关键词：形式化验证，模型检查，SPIN，NuSMV，UPPAAL，系统验证，协议验证，反例分析，计算机科学。

这个技能用于通过 Slack API 实现消息发送、通道管理、用户交互、文件上传和反应添加等功能，适用于团队通信、事件通知和工作流警报。关键词：Slack、通知、消息、通道、团队通信、API、DevOps。

会话状态技能是一个内部工具，用于管理基于SESSION_ORCHESTRATION.md定义的会话状态迁移，确保状态转换的验证和执行。关键词：会话状态管理、状态迁移、内部技能、开发工具、软件开发。

这项技能帮助开发者在Angular应用中使用RxJS实现响应式编程模式，包括Observables、操作符、订阅管理、错误处理等关键概念，并提供了与Angular信号集成的方法。

这个技能帮助开发者在Git版本控制中自动化生成规范、描述性的提交消息，通过分析git diff差异。它简化了代码提交流程，提升团队协作效率，适用于任何使用Git的软件开发环境。关键词：Git提交，代码分析，自动化工具，版本控制管理，软件开发流程优化。

这是一个用于软件开发的预提交检查清单技能，帮助开发者在提交代码前确保代码质量、文档同步、API和数据库更改等各方面完善。关键词包括软件开发、预提交检查、代码质量、测试验证、文档更新、DevOps流程。

这是一个问题解决技能调度工具，帮助用户在遇到卡壳时，根据症状选择合适的问题解决技术。适用于软件开发、编程和其他需要高效问题解决的场景。关键词：问题解决、调度、卡壳、技术选择、效率提升、软件开发。

YouTube视频下载器是一个用于下载YouTube视频的工具，支持多种质量选项（如1080p、720p、480p、360p）、格式选择（MP4、WebM、MKV）和音频提取为MP3。关键词：YouTube下载、视频下载工具、音频提取、质量设置、格式转换、yt-dlp、自动化脚本。

这个技能用于配置Claude Code的抬头显示（HUD），允许用户自定义状态行的布局、预设和显示元素，以增强开发体验。关键词：HUD配置, 状态行, Claude Code, 插件设置, 抬头显示