这个技能用于通过Rube MCP和Composio工具包自动化Timecamp任务，实现时间追踪、工作流管理和工具集成，关键词：自动化、Timecamp、Rube MCP、Composio、工具集成、DevOps。

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

递推关系求解器是一个专注于算法分析的技能，专门用于求解计算机科学中分治、递归等算法复杂度分析时产生的递推关系。它支持主定理、代入法、递归树、生成函数、Akra-Bazzi等多种经典求解方法，并能处理非标准形式，是算法工程师、计算机科学学生和研究人员进行算法复杂度分析的得力工具。关键词：递推关系求解，主定理，算法复杂度分析，递归树，生成函数，算法分析，计算机科学。

使用ng-alain和ng-zorro-antd开发企业级UI组件，包括数据表格、表单、访问控制、响应式布局和主题系统等关键技术。

AI会话计划模板应用器，用于自动将任务特定的计划模板应用到AI会话中，定制通用步骤与任务特定的细节，以标准化团队工作流并确保质量。

本技能文档提供了 MiniMax MCP 工具（网络搜索和图像理解）的最佳实践指南，包括查询构建、成本分析、集成模式和故障排除。适用于开发者、研究人员和内容创作者进行高效信息检索和图像分析。关键词：MiniMax MCP, 网络搜索, 图像分析, 开发者工具, 成本优化, 查询构建, 故障排除, 集成指南。

这是一个用于配置和管理全文搜索服务的技能，关键词包括搜索索引、搜索后端管理、优化全文搜索、混合搜索模式等。

这个技能是一个工作流编排器，用于自动化软件特征开发流程。它通过链式执行多个技能（如发现、计划、验证、实现等），支持多种开发模式（如新特征、现有代码、TDD、重构），并提供人类检查点以确保质量。关键词：工作流编排、软件开发、特征开发、自动化、DevOps。

掌握REST和GraphQL API设计原则，构建直观、可扩展和可维护的API，以取悦开发者。适用于设计新API、审查API规范、建立API设计标准、API版本控制、错误处理、分页过滤等。关键词：REST, GraphQL, API设计, 开发者友好, 可扩展, 可维护, 架构, 后端开发。

该技能用于自动并行处理CLI中的TODO注释，通过分析、计划、实施和提交步骤，提高代码管理和任务处理效率。关键词：并行处理，CLI待办事项，代码自动化，任务管理，DevOps，TODO解析，自动化流程。

本技能提供使用Jest、Vitest和Testing Library进行单元测试、集成测试和端到端测试的综合测试策略。适用于JavaScript/TypeScript应用的测试开发、TDD/BDD工作流程、模拟外部依赖和持续集成，关键词包括JavaScript测试、TypeScript测试、测试框架、单元测试、集成测试、端到端测试、TDD、BDD、模拟、覆盖率报告、CI/CD。

这个技能用于通过Rube MCP和Composio的Re Amaze工具包自动化Re Amaze任务，包括工具发现、连接管理、执行自动化操作，适用于客户服务和帮助台自动化场景。关键词：自动化工具，Re Amaze，Rube MCP，Composio，客户服务，API集成，工作流，MCP协议。