这个技能是一个统一执行引擎，专为处理.task/*.json格式的任务文件而设计。它执行序列化任务，验证每个任务的收敛标准，并通过execution.md和execution-events.md文件跟踪执行进度。支持自动提交、干运行模式，适用于软件开发中的自动化工作流管理。关键词：任务自动化、JSON任务管理、收敛验证、执行跟踪、DevOps工具。

gen-docs 技能是一款自动化工具，专门用于更新和同步 Kimi Code CLI 的用户文档。它通过分析 git commit、staged changes 和 changelog.md，确保文档与代码变更同步，提升用户体验。关键词：文档更新、git 管理、changelog 同步、双语文档、自动化维护、版本控制、DevOps。

这个技能提供了Effect-TS中可观测性的13个精选模式，包括日志记录、指标监控、追踪等，帮助开发者在TypeScript应用程序中实现高效的可观测性、调试和监控。关键词：Effect-TS、可观测性、日志、指标、追踪、TypeScript、后端开发、调试、监控、模式。

这是一个自动化测试修复工作流技能，用于生成包含渐进层（L0-L3）的测试会话，并执行迭代修复循环，直到通过率≥95%。它结合AI代码验证、任务生成和自适应策略引擎，实现端到端的软件测试自动化。关键词：测试修复、工作流自动化、AI验证、迭代循环、软件测试、质量保证。

这个技能提供全面的Git安装和初始配置指南，覆盖Windows、macOS、Linux和WSL平台。帮助用户快速安装Git、配置用户身份、设置默认分支、选择编辑器并进行验证。关键词：Git安装、Git配置、版本控制、开发工具、跨平台、DevOps。

C# 可空类型技能用于在 C# 编程中处理空值，包括可空值类型、可空引用类型、空合并运算符和空条件运算符等，以提高代码的 null 安全性、防止空引用异常，并支持编译时检查。关键词：C#, 可空类型, null 安全, 编程, 软件开发, 空合并, 空条件, 可空注解, 迁移策略, 最佳实践。

这个技能用于执行高质量的Python代码审查，专注于Pythonic模式、类型安全性和可维护性。它适用于审查现有代码修改和新代码，确保代码易于测试和理解。关键词：Python代码审查、代码质量、类型提示、测试性、Pythonic代码、代码优化、软件开发、代码审查工具。

这个技能用于与 protocols.io API 集成，管理科学协议，包括搜索、创建、更新、发布协议，管理步骤和材料，处理讨论和评论，组织工作空间，上传和管理文件。适用于协议发现、协作开发、实验跟踪、实验室协议管理和科学文档，关键词包括 protocols.io、API 集成、科学协议、协议管理、协作开发、实验跟踪。

这个技能用于自动生成符合语义化命名约定的 Git 分支名称，基于问题类型、ID 和描述，适用于开发工作流，提高代码管理和协作效率。关键词包括：Git 分支生成、语义化分支、DevOps、软件开发工作流、版本控制。

此技能用于将文档从bd（beads）工具迁移到br（beads_rust）工具，通过机械转换命令、添加git手动提交步骤并严格验证，确保迁移过程完整无误。适用于更新AGENTS.md等文档，关键词：bd迁移，br迁移，git集成，文档转换，验证脚本，自动化迁移。

这是一个自动化工具，用于安装和管理Codex开发技能。它支持从GitHub仓库下载技能，包括公共和私有仓库，简化开发环境设置和技能部署。关键词：技能安装、Codex、GitHub集成、自动化工具、开发助手、DevOps、代码管理。

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