软件开发 Skill技能列表
FigmaAPI集成与设计自动化Skill figma
这个技能用于通过Figma API提取设计令牌、生成React/CSS代码、同步设计系统、自动化设计到代码工作流，并支持Figma插件开发和Dev模式集成。关键词包括Figma API、设计令牌、代码生成、前端开发、自动化工作流、React组件、Tailwind CSS、设计系统。
数据库设计专家Skill DatabaseDesignExpert
数据库设计专家技能专注于设计高效、安全和可维护的数据库模式，包括规范化、索引策略、全文搜索优化和性能优化。适用于桌面应用数据建模、本地化场景和性能调优。关键词：数据库设计，SQLite，模式设计，索引优化，性能提升，FTS，迁移安全。
查找代码任务Skill find-code-tasks
这个技能用于在代码存储库中查找和显示所有代码任务文件（.code-task.md），展示它们的状态和元数据。它可以帮助开发者快速概览待处理工作，按状态筛选任务，或检查任务积压。关键词：代码任务管理、状态跟踪、元数据、软件开发工具、任务查找。
MongoDB模式设计Skill mongodb-schema-design
这个技能专注于MongoDB数据库的模式设计和数据建模，帮助用户掌握嵌入与引用策略、关系处理、模式演化等技术，适用于数据库设计、数据规范化、查询优化等场景，提升性能和管理效率。关键词：MongoDB, 模式设计, 数据建模, 数据库优化, 嵌入引用, 模式演化, 查询性能
现代Python工具配置Skill modern-python
这个技能用于配置Python项目使用现代工具链，包括uv进行依赖管理、ruff进行代码检查和格式化、ty进行类型检查等。适用于创建新项目、设置开发工具、编写脚本以及从传统工具如pip、Poetry迁移。关键词：Python开发, 项目配置, uv工具, ruff代码检查, ty类型检查, 最佳实践。
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
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
代码审查Skill code-review
代码审查技能用于确保代码质量、安全、性能和可维护性，通过系统化的清单和流程进行自动化审查，提升软件开发的整体水平和团队协作效率。关键词：代码审查、安全审查、性能优化、可维护性、代码质量、软件开发、自动化测试、代码检查。
QA检查清单Skill qa-checklist
此技能用于在软件开发过程中，每次代码合并或部署前执行全面的质量保证检查。通过构建验证、测试套件、安全审查等六个阶段，确保代码质量和安全，并生成详细报告，提高软件可靠性。关键词：QA、检查清单、质量保证、测试、构建验证、安全审查、部署、DevOps。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。