软件开发 Skill技能列表
现代Python工具配置Skill modern-python
这个技能用于配置Python项目使用现代工具链，包括uv进行依赖管理、ruff进行代码检查和格式化、ty进行类型检查等。适用于创建新项目、设置开发工具、编写脚本以及从传统工具如pip、Poetry迁移。关键词：Python开发, 项目配置, uv工具, ruff代码检查, ty类型检查, 最佳实践。
地址净化器Skill address-sanitizer
地址净化器（AddressSanitizer）是一种内存错误检测工具，用于在模糊测试（fuzzing）和其他软件测试中检测缓冲区溢出、使用后释放、内存泄漏等内存安全问题，提高软件安全性和稳定性。关键词：内存错误检测、模糊测试、C/C++、Rust、软件测试、安全漏洞、编译器插装、影子内存、性能优化、故障排除。
libFuzzer模糊测试Skill libfuzzer
libFuzzer 是一个用于C/C++项目的覆盖率引导模糊测试工具，帮助开发者发现软件漏洞和错误。它集成在LLVM工具链中，支持地址消毒剂等工具，适用于快速设置和单核模糊测试。关键词：模糊测试、覆盖率引导、C/C++、漏洞挖掘、软件测试、LLVM、代码安全。
Makepad基础技能Skill makepad-basics
这个技能是关于使用Rust的makepad-widgets库进行跨平台UI开发的入门指南。它帮助开发者快速上手Makepad，学习如何编写实时设计的UI代码，处理事件，并构建适用于多个平台的应用。关键词：Rust, Makepad, UI开发, 跨平台, 实时设计, 前端开发, 入门教程。
Rust借用检查器Skill rust-borrow-checker
Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期，并在编译时检测数据竞态，确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景，核心概念包括所有权、借用、生命周期和借用规则。关键词：Rust 借用检查器，所有权，借用，生命周期，内存安全，编译时检查，数据竞态检测，安全系统语言。
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
网站质量审计Skill web-quality-audit
这个技能用于执行全面的网站质量审计，基于Google Lighthouse工具，覆盖性能、可访问性、SEO和最佳实践等方面。它提供详细的问题分析、修复建议和代码示例，帮助开发者优化网站用户体验、提升搜索排名并确保技术合规。关键词包括网站审计、性能优化、可访问性测试、SEO检查、Lighthouse、前端优化、Web开发。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。
别名与指向分析Skill alias-and-points-to-analysis
该技能用于静态分析中的别名和指向分析，计算指针的指向目标和别名关系，适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词：静态分析、别名分析、指向分析、指针、编译器优化、内存安全。
日常编码检查清单Skill daily-coding
这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。
运行Nx生成器Skill run-nx-generator
此技能用于在Monorepo中高效运行Nx生成器，优先使用工作区插件生成器来自动化代码生成、新功能搭建和重复任务处理，提升开发效率。关键词：Nx生成器，工作区插件，代码生成，自动化，Monorepo，DevOps。