这个技能用于创建系统组件、行为和算法的形式化规范，支持TLA+、SysML、状态机和UML格式，特别适用于安全关键系统的设计和验证。关键词：形式化规范，系统设计，安全关键系统，TLA+，SysML，状态机，UML。

Himalaya 是一个命令行邮件客户端，用于通过 IMAP、SMTP 等协议在终端中管理电子邮件。它支持多账户、邮件搜索、撰写、回复、转发等功能，使用 MML 语法进行邮件撰写，是开发者、系统管理员和邮件用户的强大工具。关键词：CLI邮件客户端, IMAP, SMTP, 终端邮件管理, 邮件自动化, MML语法。

Spec Kit是一个AI辅助的规范驱动开发(SDD)工具包，用于将自然语言想法快速转化为可执行规范、实现计划和任务列表。适用于功能规划、PRD创建、开发管理和项目管理，支持增量交付和质量保证。关键词：规范驱动开发、AI辅助、软件开发工具、项目管理、敏捷开发、架构设计。

这个技能通过Rube MCP和Composio的Prisma工具包，自动化Prisma数据库操作任务，包括工具发现、连接管理和工作流执行，适用于后端开发中提高数据库管理效率。关键词：Prisma, 自动化, Rube MCP, Composio, 数据库操作, 工作流。

这个技能是关于使用Next.js框架构建全栈Web应用程序的实践模式，涵盖App Router、服务器组件、数据获取、认证和部署等关键技术。适用于开发现代、高性能的React应用，关键词包括：Next.js, 全栈开发, React, TypeScript, 服务器组件, 数据获取, 认证, 部署, Web开发。

这个技能用于在前端开发中优化条件渲染，特别是在 React 和 TypeScript 环境中。通过使用显式三元运算符替代逻辑与运算符，避免当值为 0、NaN 或其他假值时意外渲染，提升代码可靠性和用户体验。关键词包括：条件渲染、三元运算符、React、TypeScript、前端开发、假值处理、优化技巧。

此技能专注于使用Hugo静态站点生成器快速构建博客、文档网站和落地页，集成Tailwind CSS v4和Sveltia CMS，并部署到Cloudflare Workers。提供完整解决方案，包括错误预防、模板使用和SEO优化。关键词：Hugo, 静态站点生成器, Tailwind CSS, Sveltia CMS, Cloudflare部署, 前端开发, DevOps, 网站构建

依赖升级管理技能专注于处理软件依赖库的重大版本升级，包括兼容性分析、分阶段升级策略和全面测试方法。适用于框架升级、安全漏洞修复和库的破坏性变更管理，关键词：依赖管理、版本升级、兼容性测试、自动化更新、DevOps、CI/CD、安全修复。

该技能专为自动化设置任何项目的测试验证命令而设计，帮助开发者快速检测项目类型、识别测试基础设施并生成验证命令，从而支持CI/CD管道和闭环代理工作流，提升开发效率。关键词：测试设置、验证命令、项目检测、CI/CD、自动化测试、开发工作流。

PDF处理技能提供全面的PDF文档操作功能，包括文本和表格提取、PDF创建、合并与分割、表单处理等。适用于程序化处理和大规模文档分析，工具涵盖Python库如pypdf、pdfplumber、reportlab以及命令行工具。关键词：PDF处理、文本提取、表格解析、文档自动化、Python编程。

这个技能帮助开发者在Git版本控制中自动化生成规范、描述性的提交消息，通过分析git diff差异。它简化了代码提交流程，提升团队协作效率，适用于任何使用Git的软件开发环境。关键词：Git提交，代码分析，自动化工具，版本控制管理，软件开发流程优化。

Expo部署技能用于将基于Expo框架开发的移动应用部署到iOS App Store、Android Play Store以及Web平台，包括配置EAS构建、管理OTA更新和实施CI/CD工作流，适用于移动应用开发和发布流程。关键词：Expo、部署、iOS、Android、Web、EAS、OTA更新、CI/CD、移动开发。