这个技能涉及使用 Convex 数据库进行模式迁移，包括添加新字段、回填数据、删除过时字段、索引迁移和零停机部署模式。关键词：Convex, 数据库迁移, 模式演化, 零停机, 后端开发。

此技能用于通过命令行工具或网页方式查询 GitHub 问题，帮助开发者快速故障排除、检查重复 bug、查找解决方案，提升开发效率。关键词包括 GitHub、问题查询、故障排除、bug 跟踪、解决方案查找。

这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。

AsyncRedux 是用于 Flutter 应用的状态管理库。此技能涉及在 Flutter 项目中初始化、配置和使用 AsyncRedux，包括创建状态类、设置存储、包装应用等步骤。适用于开发高效、可维护的移动应用，关键词包括 AsyncRedux、Flutter、状态管理、Redux、移动开发。

此技能用于在创建、编辑和验证技能文档时应用测试驱动开发（TDD）方法，确保技能的质量和可重用性。关键词包括技能创建、TDD、测试驱动开发、文档测试、质量保证、软件开发、技能编写、过程文档。

这个技能用于分析Sentry监控数据中的性能指标，识别慢事务、瓶颈和性能退化，提供优化建议，帮助提升应用速度和用户体验。关键词：Sentry、性能监控、DevOps、优化、慢事务、Apdex、延迟、事务分析、性能趋势。

一种软件设计模式，用于在需要异步初始化的客户端中实现同步构造和异步属性，使模块可导出并在UI组件中同步使用，避免顶级await问题。适用于前端开发，如SvelteKit应用，通过UI渲染门确保异步工作完成后才渲染UI。关键词：同步构造、异步属性、UI渲染门、前端开发、模块导出、SvelteKit、异步初始化。

这个技能用于通过 Rube MCP 和 Composio 工具包自动化 Zylvie 任务，包括工具发现、连接管理和执行自动化工作流。关键词：自动化、Zylvie、Rube MCP、Composio、工具集成、工作流。

这个技能用于详细分析GitHub问题，创建结构化分析文档，辅助开发团队快速理解和解决代码问题。关键词：GitHub分析，问题跟踪，代码审查，DevOps，自动化文档生成。

该技能用于在代码更改后自动化运行Python测试，以验证代码正确性。支持全量测试、文件级测试、特定测试等多种运行模式，提供超时控制和详细结果报告，便于快速迭代和全面验证。关键词：Python测试、自动化测试、代码验证、测试执行、持续集成。

DOCX文档处理技能，专注于使用各种工具和库创建、编辑和分析Microsoft Word文档。支持追踪更改、评论管理、格式保留和文本提取。关键词：DOCX处理, Word文档编辑, 文档分析, 追踪更改, 评论管理, 文档创建

HashQL J-Expr 是一种用于编写HashQL查询的JSON-based表达式语法，允许使用路径、函数调用和数据构造器如literal、struct、list、tuple和dict，便于在HashQL查询文件中表达复杂逻辑和类型化数据结构。关键词：HashQL, J-Expr, 查询语法, JSON, 数据构造, 表达式语言, 软件开发工具。