该技能用于指导用户为编程语言定义和测试操作语义规范。它支持生成小步和大步语义规则、定义求值上下文、处理变量替换与绑定，并能执行语义测试和等价性验证。关键词包括：操作语义、编程语言理论、语义规则、求值上下文、PLT Redex、K Framework、语义验证。

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

这个技能通过Rube MCP和Composio工具包自动化Recallai任务，包括工具发现、连接管理和工作流执行。适用于需要集成Recallai功能的开发者和AI智能体，关键词包括Recallai、Rube MCP、Composio、自动化、工具集成、工作流。

持续改进技能基于Kaizen哲学，通过小步快跑、迭代优化的方式，增强软件开发流程、团队协作、代码质量和系统性能。它适用于增量优化、流程改进、减少浪费、技术债务管理和促进创新文化。关键词：持续改进、增量优化、流程改进、软件开发、团队协作、Kaizen、效率提升。

端到端测试是一种自动化测试技能，用于验证软件系统的完整用户工作流和集成行为。它从用户角度出发，测试关键路径如登录、支付等，确保前端与后端正确交互。适用于自动化QA过程、捕获回归、测试API集成等。关键词：端到端测试，用户工作流，自动化测试，Playwright，Cypress，测试框架，CI/CD，QA自动化。

该技能用于通过Rube MCP自动化Refiner任务，实现工具发现、连接管理、工作流执行和自动化操作，提升开发效率。关键词：Refiner自动化，Rube MCP，Composio，工具搜索，自动化工作流，DevOps，API集成。

Slack GIF 创建器是一个工具包，专门用于创建和优化符合Slack平台要求的动画GIF。它提供验证器检查文件大小和尺寸约束，动画原语如抖动、弹跳、旋转等构建块，以及辅助工具如颜色管理和文本渲染。支持消息GIF和表情GIF，优化文件大小和视觉效果，关键词包括Slack GIF、动画制作、文件优化、验证器、动画原语、图像处理。

这个技能提供了一套系统性的方法论，用于调查生产环境中的事件，如服务中断、错误和延迟问题。它涵盖了从问题范围界定到证据收集、假设形成、测试和总结的完整流程，帮助提高事件响应效率和准确性。关键词：事件调查、SRE、生产问题、DevOps、系统方法论、监控指标、日志分析、根因分析。

这个技能用于在软件开发开始前，通过HTSM v6.3质量模型、风险风暴和可测试性分析，进行质量准则会话的构思阶段分析。它采用5层浏览器级联方法（Vibium → agent-browser → Playwright+Stealth → WebFetch → WebSearch-fallback）来自动获取网站内容，并并行运行多个代理进行质量评估、风险评估、需求验证等，最终生成综合报告和推荐决策。关键词：HTSM v6.3, 风险风暴, 可测试性分析, 质量工程, 浏览器级联, 并行代理, 测试策略。

此技能提供安全升级Terraform和提供者版本的指南，包括检查当前版本、审查升级指南、实施增量升级策略、处理弃用警告和故障排除。关键词：Terraform升级、提供者版本更新、弃用语法修复、配置迁移、DevOps工具、基础设施即代码。

这个技能专注于在 SvelteKit 前端框架中实现 SEO 优化和元标签管理，提供指南、最佳实践、代码审查和重构建议，帮助开发者提升网站可搜索性、代码质量和一致性。关键词：SvelteKit, SEO, 元标签, 前端开发, 代码标准, 最佳实践, 性能优化。

这个技能提供 Cursor 和 Claude Code 2-agent 工作流的指导，用于解释协作流程、任务管理和 CI/CD 规则，适用于软件开发中的项目管理和 DevOps 实践，关键词包括 Cursor、Claude Code、工作流、协作、项目管理、DevOps、CI/CD、任务管理。