软件开发 Skill技能列表
桌面UI元素检查Skill desktop-inspect
该技能用于检查桌面窗口的UI元素树结构，帮助调试UI自动化问题、理解界面布局，并查找正确的元素标识符，适用于自动化测试和应用程序开发，关键词包括UI自动化、调试、元素树、界面结构、桌面应用。
GraphQL审计技能Skill graphql-inspector-audit
GraphQL 审计技能用于分析 GraphQL 操作的复杂度、深度、指令使用和查询性能，帮助优化 API 性能，预防生产环境问题。关键词：GraphQL, 审计, 性能优化, 查询深度, 复杂度分析, 自动化测试, DevOps 工具。
reference-sdkSkill reference-sdk
该技能用于在软件开发过程中，通过使用btca ask命令检查参考SDK实现，帮助开发者高效实现功能、调试问题、比较多提供商方案，并理解最佳实践。关键词：SDK开发、参考实现、调试工具、btca ask命令、多提供商支持、代码检查、软件开发工具。
代码审查工作流Skill review
这个技能用于执行自动化的多视角代码审查，通过并行专家代理评估代码质量、架构对齐和变更风险，提供综合评审结果。关键词：代码审查、代码质量、架构评审、风险评估、软件测试、自动化工作流、DevOps、质量门。
代码执行Skill code-execution
这个技能用于自动化执行编码子任务，通过自审和质量验证来确保代码符合项目标准和接受标准。适用于软件开发中的自动化测试和质量控制场景，关键词包括：代码执行、自审、质量验证、编码任务、软件开发、自动化测试、DevOps。
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 setup
该技能用于自动化创建和管理软件开发项目的上下文文档，包括产品定义、技术栈和指南，通过用户访谈和分析现有代码库，为Maestro代理提供项目理解支持。关键词：项目设置、上下文搭建、自动化工具、DevOps、软件开发、项目初始化。
ShadcnUI组件库Skill shadcn-ui-components
此技能用于使用 shadcn/ui、Radix UI 和 Tailwind CSS 构建美观、可访问、可自定义的 UI 组件库。适用于前端开发中的组件库创建、常见 UI 模式实现（如对话框、下拉菜单、表单验证、数据表格、命令面板）、设计系统构建，以及提升开发效率和用户体验。关键词：前端开发、UI 组件、可访问性、Tailwind CSS、Radix UI、shadcn/ui、组件库、表单验证、数据表格、设计系统。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。