该技能提供与交互式定理证明器（如Coq、Isabelle、Lean）交互的专家指导，专注于形式化验证、机械化证明和代码提取。关键词：形式化验证，定理证明器，Coq，Isabelle，Lean，机械化证明，证明自动化，代码提取。

这个技能专门用于Linux桌面自动化，通过AT-SPI2（辅助技术服务提供商接口）技术，实现GTK和Qt应用程序的可访问性自动化。它涉及D-Bus通信、Python绑定（如pyatspi2），并强调安全控制、性能优化和测试驱动开发。适用于自动化测试、辅助技术开发和桌面应用监控。关键词：Linux自动化，AT-SPI2，桌面应用，可访问性，安全控制，Python自动化，测试驱动开发。

这个技能提供关于单仓库（Monorepo）架构的全面指导，帮助设计、构建和管理单仓库结构，包括工作空间组织、依赖管理、版本控制和最佳实践，适用于从小型项目到企业级应用程序的软件开发。关键词：单仓库、代码管理、软件架构、依赖管理、版本控制、工作空间配置、最佳实践、软件开发。

会话初始化技能用于在Claude Code开发会话开始时自动进行环境检查和任务状态概览，帮助开发者管理Git状态、任务计划和角色分配，优化工作流程和提高效率。关键词：会话初始化、环境检查、任务管理、Claude Code、AI智能体、开发工具、DevOps。

这是一个用于强制执行安全文件删除操作的技能。它要求在删除任何文件前必须获得用户的明确许可，防止误删和数据丢失。适用于所有命令行和脚本中的文件删除操作，确保操作安全可控。关键词：文件删除安全，用户许可，防误删，数据保护，rm命令安全，文件操作权限。

Claude Code 是一个AI驱动的编码工具，旨在帮助开发者加速软件开发流程。它通过自主代理、技能扩展、MCP服务器集成和钩子机制，提供从计划到执行的完整开发支持，适用于功能实现、错误修复、代码审查和文档生成等场景。关键词：AI编码、开发工具、自动化、扩展性、MCP集成、插件系统、斜杠命令。

Claude Code模板技能提供了一套完整的扩展开发样板，包括智能体创建、技能开发、命令模板和钩子脚本。该技能帮助开发者快速构建Claude AI的定制化扩展，提高开发效率，支持自动化工作流和专家角色配置。关键词：Claude Code扩展、AI智能体开发、模板脚手架、自动化脚本、开发工具、技能创建、钩子脚本、命令模板。

该技能用于并行审查计划文件或内容，通过多个专业代理进行多角度评估，适用于代码审查、项目计划评审等场景，关键词包括计划审查、并行处理、代理审核、Rails代码审查、代码简单性、自动化测试。

WP区块主题技能专注于WordPress区块主题的开发、配置与调试。核心内容包括theme.json全局设置与样式管理、模板与模板部件创建、模式注册、样式变体应用，以及解决站点编辑器中的样式覆盖、缓存等常见问题。适用于WordPress开发者、主题设计师进行现代区块主题开发与维护。关键词：WordPress区块主题，theme.json配置，模板开发，样式变体，站点编辑器调试，WordPress主题开发。

本技能专注于WordPress插件开发全流程，涵盖插件架构设计、生命周期管理（激活/停用/卸载）、后台设置界面开发、数据存储方案、定时任务处理以及核心安全实践（如随机数验证、权限控制、输入输出安全）。适用于需要为WordPress网站扩展功能的开发者，关键词包括：WordPress插件开发、PHP后端开发、钩子机制、设置API、插件安全、数据迁移、发布打包。

这是一个用于软件开发工作流中的Git分支创建工具，专门负责在SDD（软件设计文档）工作流程中自动创建规范化的分支。该工具支持两种分支类型：spec（规格制定）和impl（实现开发），遵循严格的命名规则（spec/{action-id}-{description} 或 impl/{action-id}-{description}），可通过命令行直接调用或从其他工作流工具自动触发。主要功能包括：上下文识别、分支名生成与重复检查、用户确认、Git分支创建和完成通知，并包含完善的错误处理机制（处理分支已存在、未提交更改等情况）。关键词：Git分支管理，软件开发工作流，SDD流程，自动化工具，版本控制，分支命名规范，DevOps工具

此技能用于React应用程序的特性驱动架构设计，提供最佳实践指南，帮助开发人员组织项目结构、管理依赖、实现模块化开发，以提高应用的可扩展性和团队协作效率。关键词：React、特性驱动架构、前端开发、项目结构、模块化、可扩展性、代码审查。