软件开发 Skill技能列表
任务生成器Skill task-generator
任务生成器是一种自动化工具，用于从软件开发规范、计划或需求生成结构化任务列表，以提升项目管理效率和团队协作。它支持两步流程：首先生成高级父任务，然后分解为可操作的子任务，包括识别相关代码和测试文件。关键词：任务生成、自动化、软件开发、项目管理、DevOps、代码组织、测试文件。
西伯利亚萨满意识导航技术Skill "SiberianShamanicNavigation"
这个技能基于西伯利亚传统萨满实践，用于意识导航、灵魂检索、力量动物识别和多领域旅行。它帮助用户进行深层疗愈、创伤转化和精神成长，适用于需要整合碎片化自我、识别非人类盟友、或经历萨满式启蒙的场景。关键词包括意识导航、灵魂检索、萨满技术、西伯利亚传统、力量动物、多领域旅行、疗愈转化。
shadcn组件管理Skill shadcn-management
这个技能用于管理 shadcn/ui 组件，支持快速添加组件、构建复杂UI功能、研究组件实现和获取安装命令，适用于前端开发项目。关键词：shadcn, UI组件, 前端开发, 组件管理, 快速添加, 复杂构建。
RSC数据获取优化器Skill rsc-data-optimizer
该技能用于优化Next.js应用的数据获取性能，通过使用React Server Components（RSC）将慢速客户端数据获取转换为快速服务器端数据获取，提高页面加载速度、SEO和用户体验。关键词：RSC、Next.js、数据获取、优化、服务器端渲染、React Server Components、前端开发。
ReactNativeExpo移动开发技能Skill react-native-expo
此技能专注于使用Expo SDK 52+和React Native 0.76+进行移动应用开发，覆盖新架构强制启用、React 19变化、CSS新特性、Swift iOS模板迁移等关键内容，帮助开发者构建、迁移和解决常见问题。关键词：React Native, Expo, 移动开发, 新架构, React 19, 迁移指南, 移动应用开发, 前端技术。
终端管理Skill terminals
这个技能用于通过TabzChrome REST API生成和管理终端标签页，支持并行工作、Claude工作者管理、工作树设置，适用于自动化工作流和DevOps场景。关键词：终端管理, TabzChrome, REST API, 并行工作, Claude, 工作树, 自动化, DevOps
WebAssembly验证器Skill webassembly-verifier
WebAssembly 验证器是一种技能，用于验证WebAssembly模块的安全性、正确性和安全属性，确保模块在加载和执行时无错误。适用于构建安全工具、实现沙箱环境、验证内存安全和控制流等场景。关键词：WebAssembly, 验证, 安全, 沙箱, 类型检查, 堆栈验证, 内存安全。
WebAssembly运行时Skill webassembly-runtime
WebAssembly运行时技能专注于实现WebAssembly执行引擎和运行时系统，用于构建WASM运行时、开发语言编译器以输出WASM代码、创建WASM工具如调试器和性能分析器，以及构建服务器less和边缘计算平台。关键词：WebAssembly、运行时、执行引擎、WASM工具、服务器less计算、边缘计算、安全沙箱、WebAssembly系统接口（WASI）、JIT编译、内存管理。
弱内存模型验证器Skill weak-memory-model-verifier
该技能用于在弱内存模型（如x86、ARM、C/C++11）下验证并发程序的正确性，检测数据竞争并合成内存屏障。适用于并发系统验证、低层系统编程和多处理器正确性检查。关键词：弱内存模型、并发验证、数据竞争、内存屏障、C++11、x86、ARM。
值分析Skill value-analysis
值分析技能是一种静态分析技术，用于计算程序变量在每个程序点的具体或抽象值，实现常量传播、区间分析和bug检测等功能。关键词包括值分析、静态分析、抽象解释、程序优化、常量传播、bug检测、编译器优化、程序验证。
类型化汇编语言Skill typed-assembly-language
类型化汇编语言是一种用于验证汇编级别代码类型安全的技术，通过为机器指令添加类型系统，确保内存访问安全、控制流正确，适用于编译器验证、证明携带代码和可信系统。关键词：类型化汇编语言，汇编语言，类型安全，内存安全，验证编译，证明携带代码。
类型导向名称解析Skill type-directed-name-resolution
类型导向名称解析（TDNR）是一种编程语言技术，利用类型信息来解析重载名称、消除标识符歧义并指导名称查找。适用于函数式语言如Haskell、Scala和Rust，涉及类型类、作用域图和解析算法。关键词：类型导向、名称解析、重载、歧义消除、类型系统。