这个技能提供华为云弹性计算服务（ECS）的全面指导，涵盖实例创建、配置优化、安全组设置和资源管理等功能，帮助用户高效使用华为云计算资源。关键词：华为云 ECS，实例创建，配置管理，安全组，云计算，资源管理。

依赖类型实现器是一个高级技能，用于实现依赖类型理论的核心组件，如Π类型和Σ类型。它支持类型检查、转换和证明细化，适用于构建证明辅助工具、形式化数学和验证编程。关键词包括依赖类型、类型系统、证明辅助工具、Coq、Agda、Idris、类型理论、形式化验证。

这个技能使代理能够创建和编辑 Obsidian 风味 Markdown，支持所有 Obsidian 特定语法如 wikilinks、callouts、properties 等，适用于处理 .md 文件和 Obsidian 笔记，关键词包括 Obsidian、Markdown、编辑、创建、语法扩展、wikilinks、callouts、properties、SEO。

这是一个命令行工具技能，允许用户通过终端直接控制Spotify的音乐播放、搜索和管理设备。用户无需打开Spotify桌面或网页应用，即可使用spogo（首选）或spotify_player（备用）命令进行快速操作，如播放/暂停、切歌、搜索曲目、切换播放设备等，适合开发者和命令行爱好者提升工作效率。关键词：Spotify 命令行 终端 音乐播放 搜索 设备管理 CLI工具

本技能专注于航空航天工程领域的疲劳寿命预测与损伤容限评估，用于结构完整性管理和适航认证。核心功能包括S-N/应变寿命分析、裂纹扩展模拟（NASGRO/AFGROW）、检查间隔确定及谱载荷分析。适用于工程师进行安全认证、风险评估和合规报告生成。关键词：疲劳寿命预测，损伤容限评估，裂纹扩展分析，适航认证，结构完整性，航空航天工程，NASGRO，AFGROW，检查间隔，谱载荷分析。

该技能用于安全地从文档目录中读取文件，并进行验证，确保文件操作的安全性，适用于Python环境。关键词：文件读取、安全、文档目录、验证、Python编程。

文档生成技能专注于创建和维护全面的技术文档，包括API文档、组件库、README文件、架构图和开发者指南，使用工具如JSDoc、Storybook和Docusaurus。适用于软件项目开发中的文档化、技术指南编写和代码文档生成，提高项目可维护性和开发者体验。关键词：技术文档、API文档、组件文档、README、变更日志、开发者指南、文档生成。

Slack GIF 制作工具包是一个用于创建和优化 Slack 平台动画 GIF 的 Python 工具包。它提供验证器来确保符合 Slack 的大小和尺寸限制，以及可组合的动画原语如摇动、弹跳、移动等，帮助用户轻松制作动画 GIF 和表情。关键词：Slack GIF 制作, 动画 GIF 工具包, Python 图像处理, Slack 表情优化, GIF 验证器

代码文档编写技能用于编写和维护有效的代码文档，包括API文档、README文件、内联注释、技术指南和架构决策记录，以提高代码可读性、可维护性、团队协作效率和开发质量。关键词：代码文档、API文档、README、内联注释、技术文档、架构文档、开发者指南、代码维护。

此技能专用于高效搜索团队知识库中的文档化解决方案，帮助开发者在实施新功能或修复问题前找到相关学习，避免重复错误并利用已验证模式。关键词：机构学习、文档搜索、解决方案、模式识别、错误预防、软件开发效率。

抽奖获胜者选择器是一个实用工具，用于从列表、电子表格或Google Sheets中随机公平地选择获胜者，适用于赠品、抽奖、竞赛等场景，确保透明和无偏的选择过程。关键词：随机抽取，抽奖工具，公平选择，SEO优化，数据管理。

此技能用于创建、编辑和分析Word文档（.docx文件），支持跟踪更改、评论、格式保留和文本提取，适用于文档自动化、办公软件开发和文档内容管理。关键词：DOCX、Word文档、创建、编辑、分析、跟踪更改、评论、文档处理、办公自动化。