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

这个技能用于应用Zachman框架进行企业架构分析，通过特定行和列视角评估架构覆盖、检查文档完整性，并指导利益相关者输入。关键词：Zachman框架, 企业架构, 视角分析, 架构文档, 利益相关者, 代码提取, 覆盖检查。

这个技能旨在帮助开发者掌握现代React应用开发的核心模式和最佳实践。涵盖组件设计、Hook使用、状态管理、性能优化、TypeScript集成、错误处理和测试策略。适用于前端工程师和全栈开发者，提升React应用的可维护性、性能和开发效率。关键词：React, Hooks, 组件设计, 状态管理, TypeScript, 性能优化, 测试, 前端开发。

这个技能用于通过Figma API提取设计令牌、生成React/CSS代码、同步设计系统、自动化设计到代码工作流，并支持Figma插件开发和Dev模式集成。关键词包括Figma API、设计令牌、代码生成、前端开发、自动化工作流、React组件、Tailwind CSS、设计系统。

这个技能用于处理PDF文件，包括读取、提取文本和表格、合并、拆分、旋转页面、添加水印、创建PDF、填充表单、加密解密、提取图像和OCR扫描PDF等操作。关键词：PDF处理，Python，命令行工具，文档自动化，数据提取，文件操作。

设计令牌管理技能用于实现和维护设计令牌系统，覆盖令牌模式、命名约定、转换管道和多平台交付，适用于设计系统的构建，提升UI/UX一致性和开发效率。关键词：设计令牌、CSS变量、样式字典、设计系统、前端开发、SEO优化。

这个技能用于设计和实现分类法结构，支持扁平、分层和多维分类模式，适用于内容管理系统、电子商务导航、标签系统和数据建模等场景。关键词：分类法设计、架构模式、内容组织、SEO优化、数据分类。

后端架构师技能专精于设计可扩展、弹性、可维护的后端系统和API，涵盖微服务架构、分布式系统、事件驱动模式、REST/GraphQL/gRPC接口等关键领域，适用于构建高性能、可观测、安全的现代化软件架构，助力企业实现系统级优化和数字化转型。关键词：后端架构、微服务、API设计、分布式系统、事件驱动、性能优化、可观测性、安全模式、弹性容错。

这个技能提供了基于 Robius 框架和 Makepad 构建应用程序的架构模式最佳实践，专注于异步集成、Tokio 运行时、UI 和后台任务通信，适用于开发高效异步处理的生产级跨平台应用。关键词包括：Robius、Makepad、异步架构、Tokio、应用程序设计、跨平台开发、UI 线程、后台任务、SignalToUI、Cx::post_action。

这个技能是一种软件开发模式，旨在快速实现代码功能，跳过繁琐的规划步骤，直接进入编码和验证阶段。适用于有经验的开发者进行快速修复、小功能添加和重构，强调效率和直接性。关键词：快速开发、代码实现、敏捷开发、软件工程、调试修复。

该技能专用于通过WebFetch工具高效抓取和转换HexDocs上的Elixir库文档，自动将HTML格式转换为markdown，显著减少令牌使用并提升文档处理效率。适用于软件开发中的文档研究和集成。关键词包括：HexDocs, Elixir, 文档获取, WebFetch, markdown转换, 效率优化, 软件开发。

此技能用于在Phoenix框架中验证上下文边界和依赖关系，通过工具如mix xref分析代码结构，确保良好的软件架构和清晰的模块分离。关键词：Phoenix、Elixir、上下文边界、依赖分析、架构验证、代码审查、软件设计。