软件开发 Skill技能列表
UnityCinemachine技能Skill unity-cinemachine
Unity Cinemachine 技能是一个用于游戏开发的程序化摄像机系统工具。它专注于实现动态、智能的摄像机控制，包括创建虚拟摄像机、配置跟随与注视目标、设置摄像机行为（如抖动、碰撞）、管理摄像机之间的平滑过渡与混合，以及制作电影级过场动画序列。该技能是 Unity 游戏引擎中实现专业级摄像机逻辑的核心组件，适用于角色跟随、镜头切换、电影叙事等场景。 关键词：Unity Cinemachine，虚拟摄像机，程序化摄像机，摄像机控制，电影序列，游戏开发，过场动画，摄像机抖动，摄像机过渡，Unity 插件
构建钩子Skill building-hooks
构建钩子技能是专家级的能力，专注于创建和修改Claude Code事件钩子，以实现自动化和策略执行。这项技能能够在用户需要创建、更新、修改、增强、验证或标准化钩子时自动调用，特别适用于事件驱动的自动化、策略自动执行、工具使用验证、操作记录和审计，以及工具调用的预处理和后处理。
前端状态管理Skill frontend-state-management
使用Redux、MobX、Zustand和Context API等现代库和模式，实现复杂前端应用的状态管理，包括状态共享、可预测的状态变化和时间旅行调试。
模型检查器接口Skill model-checker-interface
模型检查器接口是一个专注于形式化验证的专业技能，用于指导用户使用SPIN、NuSMV、UPPAAL等主流模型检查工具，对软件、硬件系统或协议进行自动化验证。核心功能包括：系统规范生成、时序属性验证、反例追踪分析和抽象精化。关键词：形式化验证，模型检查，SPIN，NuSMV，UPPAAL，系统验证，协议验证，反例分析，计算机科学。
操作语义构建器Skill operational-semantics-builder
该技能用于指导用户为编程语言定义和测试操作语义规范。它支持生成小步和大步语义规则、定义求值上下文、处理变量替换与绑定，并能执行语义测试和等价性验证。关键词包括：操作语义、编程语言理论、语义规则、求值上下文、PLT Redex、K Framework、语义验证。
优化正确性验证器Skill optimization-correctness-verifier
这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。
递推关系求解器Skill recurrence-solver
递推关系求解器是一个专注于算法分析的技能，专门用于求解计算机科学中分治、递归等算法复杂度分析时产生的递推关系。它支持主定理、代入法、递归树、生成函数、Akra-Bazzi等多种经典求解方法，并能处理非标准形式，是算法工程师、计算机科学学生和研究人员进行算法复杂度分析的得力工具。关键词：递推关系求解，主定理，算法复杂度分析，递归树，生成函数，算法分析，计算机科学。
规约构建器Skill reduction-builder
规约构建器是一个专注于计算复杂性理论的工具，专门用于构建和验证NP完全性证明中的多项式时间规约。它提供构件库、规约验证、可视化等功能，帮助研究人员和学生在复杂性理论、算法分析、NP完全问题证明等领域进行问题分类和难度分析。关键词：多项式时间规约，NP完全性证明，计算复杂性理论，算法分析，问题规约，构件设计，复杂性分类。
ReactHookForm性能优化技能Skill react-hook-form
这个技能提供 React Hook Form 库的性能优化最佳实践，专注于客户端表单验证，包括使用 useForm、useWatch、useController 和 useFieldArray 等钩子的技巧，帮助开发者提升表单应用的性能和效率。关键词：React Hook Form, 性能优化, 客户端表单验证, useForm, useWatch, useController, useFieldArray, 最佳实践。
卡壳问题解决调度Skill WhenStuck-Problem-SolvingDispatch
这是一个问题解决技能调度工具，帮助用户在遇到卡壳时，根据症状选择合适的问题解决技术。适用于软件开发、编程和其他需要高效问题解决的场景。关键词：问题解决、调度、卡壳、技术选择、效率提升、软件开发。
死代码检测Skill dead-code
死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。
并行PR评论解决器Skill resolve_pr_parallel
这是一个使用并行处理技术自动化解决GitHub Pull Request评论的技能，旨在提升代码审查效率、加速开发流程，适用于DevOps和代码协作场景。