软件开发 Skill技能列表
Rust借用检查器Skill rust-borrow-checker
Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
变更日志生成器Skill changelog
这是一个变更日志生成器技能，用于从git版本控制历史中自动提取和结构化变更信息，生成易于阅读的变更日志或发布笔记。适用于软件发布管理、团队协作、文档维护和自动化CI/CD流程。关键词：变更日志、发布笔记、git工具、自动化、软件发布、版本控制、DevOps、CI/CD。
发布管理Skill release
这个技能用于自动化管理npm包的版本发布和CI/CD工作流程，适用于monorepo项目如swarm-tools。它包括创建changesets、运行持续集成、自动发布到npm注册表、验证发布状态等。关键词：npm发布、changesets、CI/CD、自动化发布、版本管理、DevOps、monorepo管理。
代码风格指南注入器Skill styleguide
此技能用于自动化检测项目使用的编程语言，并根据检测结果将对应的代码风格指南注入到项目的CLAUDE.md文件中，以提供一致的编码规范。关键词：代码风格指南、自动化、项目语言检测、CLAUDE.md、开发工具。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。
别名与指向分析Skill alias-and-points-to-analysis
该技能用于静态分析中的别名和指向分析，计算指针的指向目标和别名关系，适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词：静态分析、别名分析、指向分析、指针、编译器优化、内存安全。
日常编码检查清单Skill daily-coding
这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。
漏洞侦探Skill bug-detective
漏洞侦探是一个系统调试技能，用于调查和解决代码错误、异常和失败。提供结构化调试工作流程、常见错误模式识别、故障排除方法和预防性策略，帮助开发者快速定位和修复软件问题。关键词：调试、错误排查、代码错误、故障排除、系统调试、软件测试、漏洞修复、调试工具、错误模式、Python调试、JavaScript调试、Bash调试。
网页界面指南审查Skill web-design-guidelines
此技能用于自动审查网页 UI 代码，确保其符合 Web 界面指南，包括可访问性检查、设计审计和用户体验优化，提升网站质量，便于 SEO 搜索。关键词：UI 代码审查、Web 界面指南、可访问性检查、设计审计、UX 审查、最佳实践、前端开发。
完成热修复Skill finish-hotfix
这个技能用于自动化Git流程中的热修复分支完成操作，包括版本管理、测试运行、日志更新和代码合并，适用于软件开发和DevOps工作流。关键词：Git热修复、版本控制、DevOps自动化、代码合并、CI/CD。