软件开发 Skill技能列表
浏览器自动化专家Skill BrowserAutomationExpert
浏览器自动化专家技能专注于使用 Puppeteer、Playwright 和 Python 脚本进行网页自动化、数据抓取和 UI 测试，适用于网页截图、内容抓取和自动化测试场景，提升效率并支持实时交互。关键词：浏览器自动化、网页测试、Puppeteer、Playwright、Python、数据抓取、UI 测试、自动化脚本。
Google地图自动化Skill google_maps-automation
这个技能用于通过Rube MCP和Composio工具包实现Google Maps任务的自动化，包括地理编码、方向计算、地点搜索和距离测量。它支持自动化工作流开发，提升效率和集成能力。关键词：Google Maps自动化，Rube MCP，Composio，地理编码，方向搜索，低代码开发。
并行PR评论解决器Skill resolve_pr_parallel
这是一个使用并行处理技术自动化解决GitHub Pull Request评论的技能，旨在提升代码审查效率、加速开发流程，适用于DevOps和代码协作场景。
React19性能优化Skill react
这个技能提供React 19应用程序的性能优化指南，涵盖并发渲染、服务器组件、表单操作、数据获取、状态管理、记忆化和组件模式等关键主题，帮助前端开发者提升应用性能、减少重新渲染和优化开发效率，关键词包括React 19、性能优化、并发渲染、服务器组件、表单操作、数据获取、状态管理。
文档代理Skill docs-agent
文档代理技能负责自动化维护和更新软件开发项目中的各类文档，包括README文件、系统概述、API文档、架构设计以及变更日志等，以确保文档与代码库的同步。
模型检查器接口Skill model-checker-interface
模型检查器接口是一个专注于形式化验证的专业技能，用于指导用户使用SPIN、NuSMV、UPPAAL等主流模型检查工具，对软件、硬件系统或协议进行自动化验证。核心功能包括：系统规范生成、时序属性验证、反例追踪分析和抽象精化。关键词：形式化验证，模型检查，SPIN，NuSMV，UPPAAL，系统验证，协议验证，反例分析，计算机科学。
操作语义构建器Skill operational-semantics-builder
该技能用于指导用户为编程语言定义和测试操作语义规范。它支持生成小步和大步语义规则、定义求值上下文、处理变量替换与绑定，并能执行语义测试和等价性验证。关键词包括：操作语义、编程语言理论、语义规则、求值上下文、PLT Redex、K Framework、语义验证。
优化正确性验证器Skill optimization-correctness-verifier
这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。
递推关系求解器Skill recurrence-solver
递推关系求解器是一个专注于算法分析的技能，专门用于求解计算机科学中分治、递归等算法复杂度分析时产生的递推关系。它支持主定理、代入法、递归树、生成函数、Akra-Bazzi等多种经典求解方法，并能处理非标准形式，是算法工程师、计算机科学学生和研究人员进行算法复杂度分析的得力工具。关键词：递推关系求解，主定理，算法复杂度分析，递归树，生成函数，算法分析，计算机科学。
规约构建器Skill reduction-builder
规约构建器是一个专注于计算复杂性理论的工具，专门用于构建和验证NP完全性证明中的多项式时间规约。它提供构件库、规约验证、可视化等功能，帮助研究人员和学生在复杂性理论、算法分析、NP完全问题证明等领域进行问题分类和难度分析。关键词：多项式时间规约，NP完全性证明，计算复杂性理论，算法分析，问题规约，构件设计，复杂性分类。
前端组件模式Skill frontend-component-patterns
前端组件模式技能专注于使用设计模式如复合组件、渲染属性、自定义钩子和高阶组件来构建高效、可维护的前端组件。适用于React、Vue和Angular框架，帮助开发者创建可重用UI库、优化组件架构和提升开发效率。关键词：前端开发、组件设计、React模式、Vue组件、Angular架构、可重用UI、性能优化、无障碍访问。
Pinia状态管理技能Skill pinia
这个技能提供 Pinia 状态管理专长，用于在 JARVIS AI 助手中管理应用状态，包括系统指标、用户偏好和 HUD 配置。它专注于前端开发，使用 Vue.js 和 TypeScript 实现类型安全和高效状态管理，适用于实时数据同步和 SSR 安全场景。关键词：Pinia, Vue.js, 状态管理, TypeScript, 前端开发, JARVIS, 实时同步, SSR 安全。