这个技能涵盖了.NET Native AOT（提前编译）的完整流程，用于将.NET应用程序编译成本地二进制文件，优化启动性能、减少内存占用和部署大小。包括配置PublishAot、使用ILLink描述符进行类型保留、反射自由编码模式、P/Invoke考虑、二进制大小优化、自包含部署以及ASP.NET Core Native AOT支持。适用于AOT-first设计、编译优化和DevOps场景。关键词：.NET Native AOT, 编译优化, 部署策略, ASP.NET Core, AOT-first设计, DevOps, 软件开发。

Codex智能编码助手是一个AI驱动的代码自动化执行工具，能够自主实现代码开发、修复、审查和调查任务。支持多模型选择、沙箱安全模式和智能上下文管理，适用于软件开发、代码审查、自动化测试等场景。关键词：AI编程助手、代码自动化、智能开发工具、代码审查、软件开发自动化、AI辅助编程、Git集成、智能代理。

自动化处理GitHub问题，使用并行子代理修复问题并创建PR，监控并处理PR评论。关键词：自动化、GitHub、问题修复、PR创建、评论处理。

这是一个用于生成全面软件质量保证测试计划的工具。它帮助QA架构师和测试工程师根据产品特性、技术栈和团队情况，自动化生成测试覆盖矩阵、测试用例、Bug管理框架、自动化ROI分析、发布检查清单和关键指标。适用于敏捷开发、持续集成/持续交付环境，旨在提升测试效率、覆盖率和软件发布质量。关键词：软件测试，质量保证，测试计划，测试用例，自动化测试，测试覆盖，Bug管理，发布管理，QA指标，敏捷测试。

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

这是一个前端构建工具套件，用于创建复杂的多组件HTML艺术品，基于React、TypeScript、Tailwind CSS和shadcn/ui等现代前端技术。支持状态管理、路由和组件集成，适合高级前端项目开发和Claude AI工具集制作。关键词：前端开发、React、TypeScript、HTML构建、工具集、Claude AI、状态管理、路由、组件库。

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

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

该技能专用于管理Microsoft MSSQL MCP服务器，提供状态检查、服务器重建和上游更新功能。支持Node.js和.NET版本，涵盖环境配置验证、构建流程和数据库连接测试，适用于AI与SQL数据库集成的开发和维护。关键词包括MSSQL、MCP、服务器管理、数据库、AI、Node.js、.NET、构建、更新、DevOps。

WordPress路由器是一个用于自动化识别和分类WordPress项目代码库类型的工具技能。它能快速分析WordPress插件、主题、区块主题、核心代码或完整站点，并根据项目类型和用户意图，智能路由到相应的工作流（如区块开发、主题配置、API调用、性能优化、安全测试等）。关键词：WordPress开发，代码库分类，工作流路由，自动化工具，插件主题识别，区块开发，WP-CLI，性能测试。

专家指导构建与新数据库架构兼容的 Logseq 插件，自动触发插件创建、API 使用、功能扩展或数据库图插件开发帮助，涵盖插件结构、API 使用和数据库特定考虑。

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