软件开发 Skill技能列表
Obsidian命令行工具Skill obsidian
Obsidian命令行工具是一款用于管理Obsidian笔记和知识库的命令行界面，支持创建丰富的视觉笔记，包括LaTeX公式、图像、颜色标注、画布和图表。它适用于个人知识管理、文档编写和笔记组织，提供高级功能如元数据管理、搜索和自动化操作。关键词：Obsidian CLI, 笔记管理, LaTeX, 画布, 知识库, 命令行工具, 个人生产力, 知识管理工具。
PlaywrightBDD步骤定义技能Skill playwright-bdd-step-definitions
此技能专注于利用Playwright框架实施行为驱动开发（BDD），创建类型安全的步骤定义函数，集成Page Object Model模式和自定义fixtures，用于前端Web应用自动化测试。关键词：Playwright, BDD, 步骤定义, 测试自动化, 前端测试, Page Object Model, 参数类型, 数据表格。
MongoDB模式设计Skill mongodb-schema-design
这个技能专注于MongoDB数据库的模式设计和数据建模，帮助用户掌握嵌入与引用策略、关系处理、模式演化等技术，适用于数据库设计、数据规范化、查询优化等场景，提升性能和管理效率。关键词：MongoDB, 模式设计, 数据建模, 数据库优化, 嵌入引用, 模式演化, 查询性能
现代Python工具配置Skill modern-python
这个技能用于配置Python项目使用现代工具链，包括uv进行依赖管理、ruff进行代码检查和格式化、ty进行类型检查等。适用于创建新项目、设置开发工具、编写脚本以及从传统工具如pip、Poetry迁移。关键词：Python开发, 项目配置, uv工具, ruff代码检查, ty类型检查, 最佳实践。
Playwright夹具与钩子Skill playwright-fixtures-and-hooks
本技能教授如何使用Playwright测试框架的夹具系统和生命周期钩子来管理测试状态、创建可重用基础设施、实现高效测试设置和拆卸。适用于前端开发测试自动化，关键词包括：Playwright、夹具、钩子、测试自动化、前端测试、测试框架。
Makepad基础技能Skill makepad-basics
这个技能是关于使用Rust的makepad-widgets库进行跨平台UI开发的入门指南。它帮助开发者快速上手Makepad，学习如何编写实时设计的UI代码，处理事件，并构建适用于多个平台的应用。关键词：Rust, Makepad, UI开发, 跨平台, 实时设计, 前端开发, 入门教程。
Rust借用检查器Skill rust-borrow-checker
Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
SwarmCLI协同工作技能Skill swarm-cli
这个技能涉及使用Swarm CLI工具进行团队协同工作、任务管理和知识共享。它帮助开发者在分布式环境中高效协作，通过内存搜索、任务跟踪和邮件协调来优化工作流程。适用于软件开发、DevOps和团队项目管理，提升代码质量和协作效率。关键词：Swarm CLI、协同工作、任务跟踪、知识管理、DevOps、CLI命令、团队协作、软件开发工具。
MSW模拟服务技能Skill msw
这个技能提供MSW（模拟服务工作者）的最佳实践指南，用于在测试中模拟HTTP和GraphQL API。它涵盖设置、处理器架构、测试集成等关键方面，适用于前端和后端开发中的API mocking，以提升测试效率和代码质量。关键词：MSW, API模拟, 测试, HTTP mocking, GraphQL mocking, 前端测试, 后端测试。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。