类型健全性证明助手是一个专门用于辅助构建编程语言类型系统形式化证明的工具。它提供进展定理和保持定理的证明模板、替换引理生成、规范形式推导、案例枚举以及向Coq、Agda等证明助手的机械化转换指导。适用于编程语言理论研究者、形式化方法工程师和编译器开发者进行类型安全性的形式化验证。 关键词：类型健全性证明，进展定理，保持定理，形式化验证，编程语言理论，类型系统，证明助手，Coq，Agda，替换引理

这个技能专注于面向对象编程中继承和组合的应用，用于设计类层次结构、组合对象以及实现设计模式如模板方法和策略模式。它提供多语言示例、最佳实践和常见陷阱，帮助构建灵活、可维护的软件系统。关键词：继承、组合、面向对象设计、类层次、代码重用、设计模式、软件架构、OOP。

这是一个用于软件开发项目管理的AI技能工具，专门负责创建、跟踪和管理软件实施计划。它提供完整的计划生命周期管理，包括计划初始化、步骤添加、状态跟踪、进度监控、首席软件架构师验证和同步执行等功能。关键词：软件开发项目管理、实施计划跟踪、LSA验证、进度监控、计划同步、质量门验证、软件架构审查、自动化工作流。

原子设计模板技能用于在前端开发中，基于原子设计方法论创建可重用的页面布局模板。它涉及定义内容区域、实现响应式设计、组合组件以提高开发效率和一致性。关键词包括原子设计、模板、页面布局、前端开发、React、CSS、响应式设计、组件组合。

该技能用于指导混沌工程和弹性测试，涵盖故障注入、负载压力测试、系统恢复验证等，旨在提升软件系统的稳定性和可靠性。关键词包括：混沌工程、弹性测试、故障注入、负载测试、系统恢复、灾难恢复、断路器测试。

掌握 Git 工作流，包括 GitFlow、GitHub Flow、基于主干的开发等，配置分支、合并策略和团队协作模式。

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

这个技能用于通过Rube MCP和Composio的Proxiedmail工具箱自动化Proxiedmail操作，实现工作流自动化和工具集成。关键词包括Proxiedmail自动化、Rube MCP、Composio、工具集成、工作流自动化、自动化开发。

TypeScript JSDoc 文档编写技能专注于为TypeScript代码生成高效、清晰的JSDoc注释。它提供关于注释格式、最佳实践、策略性放置的指导，帮助开发者提升代码可读性、可维护性，并增强IDE的智能提示和文档支持。关键词：TypeScript, JSDoc, 代码文档, 注释规范, 开发工具, API文档, 代码维护, 编程规范。

此技能用于通过Convex响应式查询实现实时数据同步和自动更新，适用于构建实时协作应用、即时通知系统、响应式用户界面和实时仪表板。关键词：Convex、实时、数据订阅、响应式查询、协作应用、实时同步、自动更新。

此技能用于从网页URL自动提取干净的文章内容，移除广告、导航和其他杂乱元素，适用于博客文章、新闻文章、教程等。关键词：文章提取、网页抓取、内容清洗、自动化工具、数据提取、Bash脚本。

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