软件开发 Skill技能列表
MX技术自动化Skill mx-technologies-automation
这个技能用于自动化MX Technologies任务，通过Rube MCP和Composio工具包实现工具发现、连接管理和工作流程执行。关键词：自动化，Rube MCP，Composio，MX Technologies，工具集成。
Memberstack自动化技能Skill memberstack-automation
这个技能用于自动化Memberstack平台的任务，通过集成Rube MCP和Composio工具包，实现工具发现、连接管理和工作流执行，提升会员管理操作的效率。关键词：Memberstack自动化、Rube MCP、Composio、API集成、自动化工具。
文件整理器Skill file-organizer
文件整理器技能是一个自动化文件管理工具，通过设定规则、命名规范和文件夹结构，系统化组织、分类、重命名和管理文件，适用于文件上传、目录清理、媒体库构建和文档工作流程等场景。关键词：文件管理、文件整理、自动化规则、命名规范、文件夹结构、文件分类、智能文件系统、SEO搜索优化。
Maintainx自动化技能Skill maintainx-automation
这个技能用于通过Rube MCP和Composio工具包自动化Maintainx任务，包括工具发现、连接管理、工作流执行和任务自动化。关键词：Maintainx, Rube MCP, Composio, 自动化, 任务管理, 工具集成, 工作流, 软件开发。
React组件生成器Skill react-component-generator
这是一个用于自动化生成符合规范的React组件的技能，支持TypeScript、Hooks、CSS Modules和测试文件，旨在提升前端开发效率和代码质量。关键词：React, TypeScript, 组件生成, 前端开发, 自动化工具, CSS Modules, Hooks, 测试文件, 代码规范。
Paper搜索工具设置Skill setup
此技能用于协助用户配置 Paper Search MCP 工具，解决常见错误如“paper-search MCP 错误”、“Docker 未找到”、“Docker 未运行”或“paper search 不工作”，提供快速修复步骤，如运行设置命令、安装 Docker、启动 Docker Desktop，并指导如何禁用不需要的功能以预防错误。关键词包括 Paper Search、MCP、Docker、配置、错误处理、工具设置。
浏览器自动化测试技能Skill playwright-skill
这个技能是基于Playwright的浏览器自动化工具，用于自动化测试网站功能，包括自动检测开发服务器、编写和执行测试脚本、测试页面、填写表单、截图、验证响应式设计、测试登录流程、检查链接等，适用于开发和测试场景。关键词包括浏览器自动化、Playwright、测试脚本、自动化测试、网站测试、前端测试、DevOps。
Makepad基础技能Skill makepad-basics
这个技能是关于使用Rust的makepad-widgets库进行跨平台UI开发的入门指南。它帮助开发者快速上手Makepad，学习如何编写实时设计的UI代码，处理事件，并构建适用于多个平台的应用。关键词：Rust, Makepad, UI开发, 跨平台, 实时设计, 前端开发, 入门教程。
Bear笔记CLI管理工具Skill bear-notes
这个技能用于通过命令行工具grizzly来创建、搜索、编辑和管理Bear笔记应用中的笔记，特别适用于macOS用户，需Bear应用运行并配置API令牌。关键词：Bear笔记、CLI工具、自动化管理、笔记搜索、macOS、API令牌、grizzly。
Rust借用检查器Skill rust-borrow-checker
Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。