软件开发 Skill技能列表
可视化画布沙盒Skill sandbox
可视化画布沙盒是一个用于实时预览和代理驱动UI开发的工具。它允许用户通过简单的命令将HTML内容推送到一个动态更新的画布服务器，实现快速原型设计、仪表板构建和界面预览。该工具支持截图、状态监控和内容重置，是前端开发、UI/UX设计和实时协作场景下的高效助手。关键词：HTML画布，实时预览，UI沙盒，前端开发，仪表板，代理驱动界面。
计划审查Skill review
计划审查技能是 /oh-my-claudecode:plan --review 的别名，用于自动化评估现有计划，提供批准、修订或拒绝的反馈。关键词：计划审查、自动化评估、Critic 代理、代码评审、软件测试、开发工具。
TestingStrategySkill testing-strategy
这是一个全面的测试策略，使用Vitest和Playwright工具进行单元、集成和E2E测试，包括最佳实践和覆盖目标。
Unity可寻址资源管理Skill unity-addressables
Unity Addressables 可寻址资源管理系统技能，专注于实现高效的资源加载、远程内容更新、内存优化以及资源包管理。适用于游戏开发、远程资产分发、异步加载、内存管理、AssetBundle、内容热更新等场景。
教程系统技能Skill tutorial-systems
该技能用于新玩家入门引导和提示系统，提供操作指引和功能说明。关键词：玩家引导、新手教程、入门系统、操作提示、技能说明。
技能开发者Skill skill-developer
技能开发者是一个用于创建、配置和管理Claude Code技能系统的元技能工具。它提供完整的技能开发指南，包括技能结构设计、触发器配置、执行策略设置等核心功能。关键词：Claude Code技能开发，技能配置管理，触发器设置，技能规则配置，元技能开发，AI技能框架，技能管理系统，开发工具集成
文件整理器Skill file-organizer
文件整理器技能是一个自动化文件管理工具，通过设定规则、命名规范和文件夹结构，系统化组织、分类、重命名和管理文件，适用于文件上传、目录清理、媒体库构建和文档工作流程等场景。关键词：文件管理、文件整理、自动化规则、命名规范、文件夹结构、文件分类、智能文件系统、SEO搜索优化。
卡壳问题解决调度Skill WhenStuck-Problem-SolvingDispatch
这是一个问题解决技能调度工具，帮助用户在遇到卡壳时，根据症状选择合适的问题解决技术。适用于软件开发、编程和其他需要高效问题解决的场景。关键词：问题解决、调度、卡壳、技术选择、效率提升、软件开发。
模型检查器接口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等多种经典求解方法，并能处理非标准形式，是算法工程师、计算机科学学生和研究人员进行算法复杂度分析的得力工具。关键词：递推关系求解，主定理，算法复杂度分析，递归树，生成函数，算法分析，计算机科学。