软件开发 Skill技能列表
模型检查器接口Skill model-checker-interface
模型检查器接口是一个专注于形式化验证的专业技能，用于指导用户使用SPIN、NuSMV、UPPAAL等主流模型检查工具，对软件、硬件系统或协议进行自动化验证。核心功能包括：系统规范生成、时序属性验证、反例追踪分析和抽象精化。关键词：形式化验证，模型检查，SPIN，NuSMV，UPPAAL，系统验证，协议验证，反例分析，计算机科学。
优化正确性验证器Skill optimization-correctness-verifier
这是一个用于验证编译器优化是否保持程序语义正确的专家技能。它利用形式化方法（如Alive2）和SMT求解器，通过构建互模拟证明、生成反例等方式，确保优化转换不会改变程序的预期行为。核心关键词包括：编译器优化、语义保持、形式化验证、Alive2、SMT求解器、反例生成、互模拟证明。
PR描述生成器Skill describe-pr
PR描述生成器是一个自动化工具，用于根据仓库模板生成全面的拉取请求描述。它分析代码更改、收集PR信息、执行验证步骤，并更新PR描述，提高代码审查效率和协作质量。关键词：拉取请求、PR描述、自动化、代码审查、GitHub、DevOps、软件协作。
死代码检测Skill dead-code
死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。
从.env文件迁移到fnox+1PasswordSkill env-to-fnox
这个技能指导如何将.env文件中的环境变量和秘密迁移到fnox和1Password中，实现安全的秘密管理，优化开发工作流程。关键词包括：.env迁移、fnox配置、1Password集成、秘密管理、DevOps工具、环境变量管理。
创建命令Skill create-command
此技能用于创建新的斜杠命令，包括解析用户输入、分析需求、生成命令内容、创建文件并确认创建。适用于软件开发中的命令行工具创建和管理，关键词：斜杠命令、创建命令、命令管理、开发工具、自动化流程。
编排器Skill orchestrator
这是一个智能记忆驱动的多代理编排工作流程，包含蜂群模式、并行记忆搜索、RLM启发式路由和质量优先验证。适用于实施新功能、复杂重构、多文件更改和需要协调的任务。
调试Skill debug
这个技能用于在软件开发和测试过程中调试问题，通过调查日志、数据库状态和git历史来识别和解决错误。关键词包括调试、日志分析、数据库查询、git状态检查、问题诊断、手动测试、软件开发。
构建命令Skill building-commands
构建命令技能是专门用于创建和修改Claude Code斜杠命令的专家技能，这些命令是用户触发的工作流，提供参数化、面向操作的功能。它适用于需要明确触发特定工作流、需要参数化输入、操作离散且定义明确以及需要简化复杂操作的场景。
Python脚本编写Skill python-scripting
Python脚本编写技能，专注于使用uv工具和PEP 723规范创建和管理独立、可复现的Python脚本。该技能自动化处理依赖安装、参数解析和脚本执行，适用于快速开发CLI工具、数据处理脚本和自动化任务。关键词：Python脚本，uv工具，PEP 723，依赖管理，自动化脚本，命令行工具，可复现构建。
交接文档创建Skill create-handoff
交接文档创建技能是用于在会话间转移工作时编写YAML格式文档的方法。它帮助团队记录工作进展、总结关键点、并规划下一步行动，确保工作连续性和效率。关键词：交接文档、工作转移、YAML格式、项目管理、会话管理、DevOps流程。
Vitest测试技能-主参考Skill vitest-testing
AI友好的Vitest全面测试指南，包含实用模式和行为驱动开发，旨在提高代码的可测试性和测试质量。