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

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

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

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

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

可视化画布沙盒是一个用于实时预览和代理驱动UI开发的工具。它允许用户通过简单的命令将HTML内容推送到一个动态更新的画布服务器，实现快速原型设计、仪表板构建和界面预览。该工具支持截图、状态监控和内容重置，是前端开发、UI/UX设计和实时协作场景下的高效助手。关键词：HTML画布，实时预览，UI沙盒，前端开发，仪表板，代理驱动界面。

掌握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, 风险风暴, 可测试性分析, 质量工程, 浏览器级联, 并行代理, 测试策略。

网页应用测试工具包，使用Playwright进行本地Web应用程序的自动化测试，支持功能验证、UI调试、截图和日志查看，适用于前端开发和质量保证。关键词：网页应用测试、Playwright、自动化测试、前端测试、UI测试、浏览器自动化。

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

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

该技能用于借助 AI 生成 App Inventor 2 中文网（fun123.cn）应用：根据自然语言需求产出完整的 .aia 工程、界面布局、代码块逻辑与素材，同一工程可编译安卓 Android 与鸿蒙 HarmonyOS 应用；对组件、属性、事件和每个积木逐项校验通过后才产出，避免导入后出现红块报错。支持三条通道：平台自带 AI 助手修改已有工程、本地 CLI 生成并验证 .aia、纯聊天提示词生成可粘贴的代码块；并提供方案模式（需求拆解、组件选型、数据设计、积木思路、风险边界）、教程模式（分步骤写作 + 可编译案例工程）与备课模式（一个知识点一个案例 + acceptance.md 验收）。关键词：App Inventor、ai2-app、积木编程、图形化编程、低代码开发、.aia 工程生成、代码块、ai2-blocks、AI 助手、安卓 APK、鸿蒙 HAP、组件校验、界面设计、少儿编程、信息技术课、备课案例、教程生成、CLI 构建、预览页。