这个技能用于通过 Rube MCP 和 Composio 的工具包自动化 Grist 操作，实现搜索工具、管理连接和执行工作流程。关键词：Grist, 自动化, Rube MCP, Composio, 工具包, 工作流程, API 集成, 低代码开发, 数据处理

这个技能帮助开发团队实施有效的Git分支策略，通过清晰的分支命名、工作流模式和组织管理，来讲述开发过程的故事，支持版本控制、团队协作和DevOps实践。关键词：Git分支管理、版本控制、代码协作、DevOps、CI/CD、软件开发流程、分支策略、代码审查、团队协作。

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

时序逻辑转换器是一个专注于形式化验证领域的专业工具，用于在多种时序逻辑形式化方法（如LTL、CTL、CTL*）之间进行精确的转换与翻译，并能将自然语言描述的系统属性自动生成对应的时序逻辑公式。它提供属性模式模板、公式等价性检查、否定范式转换等核心功能，并集成了Spot、GOAL等主流验证工具链，旨在辅助工程师和研究人员高效完成硬件、软件及协议的系统规约与验证工作。 关键词：时序逻辑，形式化验证，LTL转换，CTL，属性规约，Büchi自动机，公式等价，模型检测，系统验证

这是一个用于容器安全扫描的DevSecOps技能，专门使用Grype工具进行容器镜像、文件系统和SBOM（软件物料清单）的漏洞检测。核心功能包括：CVE漏洞扫描、CVSS严重性评级、EPSS利用概率分析、CISA KEV已知被利用漏洞识别。支持CI/CD流水线集成、多格式报告输出（JSON/SARIF/CycloneDX）和基于风险指标的修复优先级排序。适用于云原生安全、容器安全审计、软件供应链安全等场景。

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

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

这个技能用于自动化生成和更新Terraform基础设施即代码模块的文档，包括README文件、输入输出表格和使用示例，提高开发效率和文档一致性。关键词：Terraform，文档生成，自动化，README，模块文档，DevOps。

此技能用于通过命令行工具obsidian-cli自动化管理Obsidian笔记库，实现笔记的搜索、创建、移动和删除，提高笔记管理效率。关键词：Obsidian, 笔记管理, 自动化, Markdown, CLI, 脚本, 生产力工具。

这个技能使用Notion API来自动化管理Notion中的页面、数据库和块，支持创建、读取、更新、查询等操作，适用于开发者和团队进行内容自动化、工作流集成和应用程序开发。关键词：Notion API, 自动化, 页面管理, 数据库查询, 开发集成, API调用, 后端开发, 低代码自动化。

此技能用于自动化 QuickBooks Online 的会计操作，包括创建发票、管理客户、查询账户和列出支付，以简化财务报告和簿记流程。关键词：QuickBooks 自动化、发票管理、客户管理、财务自动化、会计软件集成、API 调用、自动化工具。

该技能通过Rube MCP（模型上下文协议）自动化Qualaroo操作，包括工具发现、连接管理和工作流执行，适用于用户反馈收集和数据分析的自动化任务。关键词：Qualaroo自动化，Rube MCP，工具集成，工作流自动化，用户反馈，自动化测试。