软件开发 Skill技能列表
Python开发原则与决策Skill python-patterns
本技能专注于Python开发的核心原则和决策制定，涵盖框架选择（如FastAPI、Django、Flask）、异步与同步决策、类型提示策略、项目结构设计等。旨在帮助开发者根据具体项目需求做出明智的技术选择，提升代码质量和开发效率。关键词：Python开发原则、框架选择、异步编程、类型提示、项目结构、FastAPI、Django、Flask。
tmux终端控制技能Skill tmux-terminal
这个技能是关于使用tmux工具来控制交互式终端会话，用于测试TUI应用、自动化CLI工作流、捕获屏幕输出用于QA报告，以及管理长运行进程。关键词：tmux、终端控制、TUI应用、自动化测试、QA测试、CLI工作流。
Buttercup系统调试Skill debug-buttercup
此技能涉及在Kubernetes环境中调试Buttercup CRS（网络推理系统）的运行，用于诊断和解决服务故障，如pod崩溃、Redis故障、资源压力和队列问题。关键词包括：Buttercup、Kubernetes、DevOps、故障排除、容器编排、微服务、Redis、日志分析、资源监控、级联故障。适合运维工程师和DevOps团队进行系统维护和优化。
libFuzzer模糊测试Skill libfuzzer
libFuzzer 是一个用于C/C++项目的覆盖率引导模糊测试工具，帮助开发者发现软件漏洞和错误。它集成在LLVM工具链中，支持地址消毒剂等工具，适用于快速设置和单核模糊测试。关键词：模糊测试、覆盖率引导、C/C++、漏洞挖掘、软件测试、LLVM、代码安全。
E2E测试去抖技能Skill dyad:deflake-e2e
这个技能用于识别和修复端到端测试中的不稳定性问题，通过多次运行测试、分析失败日志并应用最佳实践来优化测试可靠性。关键词：E2E测试、测试稳定性、Playwright、测试自动化、去抖。
Coq证明助手Skill coq-proof-assistant
Coq证明助手是一个交互式定理证明工具，专门用于形式化验证、程序正确性证明和数学理论的形式化开发。它支持依赖类型，通过战术证明实现交互式证明，适用于软件验证、编译器验证和数学定理证明等领域。关键词：Coq、证明助手、形式化验证、程序正确性、数学证明、依赖类型、战术证明、交互式证明。
逐步类型化实现器Skill gradual-typing-implementer
这个技能用于实现逐步类型化系统，将类型检查添加到动态类型语言中，支持代码从动态类型迁移到静态类型，构建混合类型系统如TypeScript、Typed Racket或Pyright。关键词包括：逐步类型化、动态类型、静态类型、类型检查、类型系统、代码迁移、混合类型、类型保证、运行时检查、软件开发工具。
MLIR方言设计Skill mlir-dialect-designer
MLIR方言设计技能用于设计MLIR（多级中间表示）的方言和变换，支持编译器开发、IR抽象和多级降低，适用于编译器优化和LLVM生态系统集成，关键词包括MLIR、编译器、方言、变换、LLVM。
形状分析Skill shape-analysis
形状分析是一种软件工程技术，专注于分析堆数据结构的形状，如链表、树和循环，用于程序验证、内存安全检测和优化。关键词：堆数据结构、形状推理、指针分析、内存验证、TVLA框架、分离逻辑。
Makepad路由技能Skill makepad-router
这是一个用于Makepad框架的问答路由技能，帮助开发者处理Makepad和Robius相关的UI开发问题，包括部件设计、布局管理、事件处理、动画效果和着色器编写等。关键词：Makepad, Robius, UI开发, Rust框架, 路由技能, 前端开发, 量化交易专家不适用此内容。
React服务器端动作Skill react-server-actions
React服务器端动作是一种在Next.js 14+框架中实现的功能，用于安全处理表单提交和服务器端数据操作，无需API路由。它支持渐进增强、服务器端验证、文件上传和乐观UI更新，适用于现代Web开发中的表单处理、服务器突变和性能优化场景。关键词：React Server Actions, Next.js, 表单处理, 服务器端突变, 渐进增强, 安全性, 缓存重新验证, 文件上传, 乐观UI更新, Web开发。
使用Git工作树Skill using-git-worktrees
这个技能用于创建和管理Git工作树，通过智能目录选择和安全验证，提供隔离的工作空间，支持同时处理多个分支，确保代码安全性和项目一致性。适用于软件开发中的版本控制和协作。关键词：Git工作树、版本控制、代码隔离、目录选择、安全验证、DevOps、软件开发、代码管理。