可靠性工程师（SRE）技能专注于系统稳定性、可观测性、事故管理和性能优化，通过监控设计、事故根因分析和性能调优来提升系统可靠性。关键词：可靠性工程、SRE、可观测性、事故管理、性能优化、系统稳定、监控、根本原因分析、DevOps。

这个技能提供基于属性的测试指南，帮助开发者在编写测试时覆盖序列化、验证、解析等复杂模式，通过自动生成输入和验证属性来提高代码质量和发现边缘情况。关键词包括：属性基测试、测试策略、代码验证、测试自动化、序列化测试、智能合约测试。

Node.js后端模式技能提供构建可扩展、可维护、生产就绪的后端应用程序的全面指导，涵盖Express和Fastify框架、分层架构、依赖注入、中间件模式、错误处理、认证授权、数据库集成、缓存策略等最佳实践，适用于开发REST API、GraphQL服务器、微服务架构。关键词：Node.js, 后端开发, Express, Fastify, 中间件, 错误处理, 认证, 数据库, API设计, 微服务。

反例生成器是一款自动化数学工具，专门用于搜索和发现数学猜想、定理或命题的反例。它通过智能采样、边界测试、SMT求解和有限模型查找等技术，帮助数学研究者、计算机科学家和学生验证猜想、调试证明。核心功能包括随机测试、约束求解和快速性质检查，适用于定理证明、形式验证和数学研究领域。关键词：反例搜索、数学猜想验证、定理证明、SMT求解、Quickcheck、自动化测试、形式验证、数学工具。

Vulkan计算着色器开发技能是一个专门用于GPU并行计算的工具，专注于Vulkan API下的计算着色器编程。该技能提供完整的计算管线配置方案，包括GLSL/HLSL着色器代码生成、SPIR-V字节码编译、描述符集管理、内存屏障同步等核心功能。适用于高性能计算、图形渲染、AI推理加速、科学模拟等需要GPU并行处理的场景。关键词：Vulkan计算着色器，GPU并行计算，SPIR-V编译，计算管线配置，描述符集管理，内存屏障同步，高性能计算，图形编程。

Prettier配置技能提供了关于Prettier代码格式化工具的全面配置指南，包括选项设置、配置文件、忽略模式和格式化规则，适用于JavaScript开发，帮助提升代码质量和团队协作效率。关键词：Prettier、代码格式化、JavaScript、配置、开发工具、前端开发、SEO优化。

该技能专注于使用FFmpeg和ImageMagick命令行工具进行多媒体文件处理，涵盖视频、音频和图像的编码、转换、过滤、流媒体、批量处理等功能。适用于媒体格式转换、视频编码优化、图像处理、自动化媒体工作流等场景。关键词：FFmpeg, ImageMagick, 视频处理, 音频处理, 图像处理, 媒体转换, 编码技术, 流媒体, 批量操作。

这个技能专注于使用WebSockets、Server-Sent Events、长轮询和WebRTC等技术构建实时通信应用程序，适用于聊天、协作、游戏、金融交易、IoT仪表板等场景。它涵盖从基础概念到高级架构的实现，包括客户端和服务器端开发、消息协议、安全性和缩放策略。关键词：WebSockets, 实时通信, 双向通信, 服务器推送, 聊天应用, 游戏开发, 金融交易, IoT, Node.js, React, 安全认证, 水平缩放。

此技能用于编写和修改Bash/shell脚本，涵盖脚本结构、变量、引用、条件语句和循环的现代最佳实践，帮助开发健壮、可维护的自动化脚本，适用于系统管理、DevOps和自动化任务。关键词：Shell脚本，Bash，脚本开发，自动化，系统管理，最佳实践，脚本结构，变量处理，条件循环。

团队拓扑学技能用于设计和优化团队结构，基于四种基本团队类型（流对齐团队、平台团队、使能团队、复杂子系统团队）和交互模式，帮助组织提高效率、降低认知负荷，并促进敏捷交付。适用于软件开发、产品管理和组织架构设计。关键词：团队拓扑学，团队设计，组织架构，敏捷团队，平台工程，使能团队，软件开发架构。

这个技能是关于Nim编程语言的内存管理，涵盖垃圾收集策略（如Arc/ORC GC）、手动内存控制、析构函数、移动语义、ref/ptr类型、内存安全和优化技术，适用于系统编程、嵌入式应用和性能关键代码开发，关键词包括Nim、内存管理、垃圾收集、移动语义、系统编程、嵌入式优化。

供应商评估技能用于系统化评估第三方供应商在工程集成、安全、成本等方面的适合度，帮助高级开发人员进行结构化决策，提升供应商选择效率。关键词：供应商评估，工程适合度，风险评估，第三方集成，供应商管理，结构化评估。