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

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

Git工作流程技能用于管理源代码版本控制，包括分支策略、提交规范、合并冲突解决、变基等，适用于团队协作和开发流程优化。关键词：Git, 版本控制, 分支管理, 团队协作, DevOps, 代码管理, 提交消息, 合并冲突, 变基, 协作工作流。

这个技能涉及Swift编程语言中可选类型的处理模式，包括可选绑定、链式调用、空值合并和现代方法，用于安全地处理可能为空的值，避免常见陷阱和强制解包。关键词：Swift，可选类型，安全编程，移动开发，iOS开发，类型安全，SwiftUI，Combine，async/await。

该技能用于优化Next.js应用的数据获取性能，通过使用React Server Components（RSC）将慢速客户端数据获取转换为快速服务器端数据获取，提高页面加载速度、SEO和用户体验。关键词：RSC、Next.js、数据获取、优化、服务器端渲染、React Server Components、前端开发。

这个技能用于从代码开发对话中提取可重用的学习技能，作为决策启发式和原则，帮助开发者如何思考问题，而非简单复制代码片段。它强调在解决棘手bug、发现非明显变通方法或未记录行为时，提取不可谷歌搜索、上下文特定、精确可操作且来之不易的技能。关键词：技能提取、学习技能、决策启发式、代码调试、非Googleable技能、心智模型、可重用原则。

这个技能用于通过Rube MCP和Composio的Oncehub工具包来自动化Oncehub平台的各种任务，包括工具发现、连接管理和工作流执行。关键词：Oncehub, Rube MCP, Composio, 自动化, 任务自动化, 低代码开发。

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

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

测试驱动开发（TDD）是一种软件开发方法，通过红-绿-重构循环，先编写失败的测试用例定义预期行为，再实现最小代码使测试通过，最后重构优化。关键词包括：测试驱动开发、TDD、自动化测试、软件质量、Red-Green-Refactor、单元测试、持续集成。

这个技能用于在处理代码评审反馈时，进行技术验证和理性评估，避免盲目实施或表演性同意，确保代码质量和开发效率。它强调技术严谨性、验证流程和合理反驳，适用于软件开发中的代码审查环节。关键词：代码评审、技术验证、反馈处理、软件开发、测试、代码质量。

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