这个技能用于为C/C++程序生成ACSL（ANSI/ISO C Specification Language）形式验证注释，支持函数契约、循环不变量、内存安全注释等，以帮助使用Frama-C等工具进行代码验证和形式验证。关键词：ACSL，形式验证，C/C++，函数契约，Frama-C，代码注释，软件测试。

纵深防御验证是一种软件开发技能，通过在多系统层（如入口验证、业务逻辑验证、环境守卫和调试工具）进行数据验证，以防止bug发生并提高代码健壮性。关键词：数据验证，多层防御，错误预防，代码质量，架构设计。

该技能用于自动化 Lemon Squeezy 电商平台上的产品管理、订单处理、订阅服务、结账流程和数字销售任务。通过 Rube MCP 和 Composio 工具包实现高效集成和自动化操作。关键词：Lemon Squeezy 自动化，Rube MCP，Composio，电商自动化，API 集成，数字销售。

单子变换器是一种在函数式编程中实现效果组合的技能。它通过提供可重用的变换器层，允许开发者组合多个单子效果，如状态管理、错误处理和IO操作。关键词包括：单子、变换器、函数式编程、效果组合、Haskell、Scala、可组合性、架构设计。

这个技能专注于使用Ansible和相关工具进行自动化配置管理，涵盖Playbook创建、角色设计、库存管理、秘密保护和测试验证，适用于DevOps和基础设施自动化场景，确保安全、可重复的配置部署。关键词：Ansible, 配置管理, 自动化, DevOps, Playbook, 角色, 库存, 秘密管理, 测试

这个技能专注于React应用中的状态管理，帮助开发者选择和实施合适的解决方案，包括Context、Zustand、Redux Toolkit、TanStack Query和Jotai，用于处理本地状态、全局状态和服务器状态。关键词：React状态管理，全局状态管理，服务器状态管理，前端开发。

这个技能涵盖React中各种组件模式，如组合模式、自定义钩子、渲染属性、高阶组件和复合组件，用于构建高效、可维护的前端UI组件。关键词：React组件、组合、自定义钩子、渲染属性、高阶组件、复合组件、性能优化、前端开发、代码分割、虚拟滚动。

该技能用于管理和配置SSH隧道、ngrok暴露、Cloudflare隧道等远程访问工具，支持端口转发和多种隧道类型，适用于开发、测试和生产环境中的远程部署、Webhook测试和安全访问。关键词：SSH隧道、ngrok、Cloudflare、远程访问、端口转发、DevOps工具、Webhook测试、安全隧道。

这是一个自动化工具，用于处理GitHub Pull Request中的Copilot评论，自动解析PR信息，分析评论是否真实存在问题，并在需要时修复代码并推送。适用于提升代码审查效率、自动化DevOps流程和优化开发工作流。关键词：GitHub, Pull Request, Copilot, 评论修复, 自动化, DevOps, 代码审查, AI辅助开发

这个技能是前端开发指南，专注于现代React和TypeScript应用程序的开发。它详细介绍了基于Suspense的数据获取、懒加载、文件组织、MUI v7样式、TanStack Router路由、性能优化和TypeScript最佳实践。适用于创建组件、页面、功能、获取数据、样式设置、路由和前端代码管理。关键词：React, TypeScript, 前端开发, 性能优化, 数据获取, Suspense, 懒加载, MUI v7, TanStack Router, 文件组织。

使用Hoare逻辑验证程序正确性，包括指定前后条件和循环不变量，生成验证条件，并检查其有效性。适用于程序证明、验证软件开发和循环不变量验证。关键词：程序验证、Hoare逻辑、循环不变量、验证条件生成、软件测试、静态验证。

宏扩展器是一种编程技能，用于在编译时实现宏系统，进行语法抽象和代码生成。关键词包括宏系统、编译时、代码生成、语法抽象、元编程。