软件开发 Skill技能列表
前端开发模式技能Skill frontend-patterns
前端开发模式技能旨在指导开发者使用 Next.js App Router、Clerk 认证、shadcn/ui 组件和 PostHog 分析的既定最佳实践，确保前端开发一致性、可访问性和用户体验。适用于构建 UI 组件、实现认证流程、添加表单验证、集成分析事件等场景，提升开发效率和代码质量。关键词：前端开发，Next.js，Clerk 认证，shadcn/ui，PostHog 分析，响应式设计，可访问性，模式，最佳实践。
dyad:快速推送Skill dyad:fast-push
这是一个自动化Git工作流程的技能，用于快速提交代码更改、运行代码质量检查、自动修复问题并推送到GitHub。关键词：Git自动化、代码提交、lint检查、DevOps工具、GitHub推送、快速推送、自动化脚本。
系统配置分析Skill SystemConfigurationAnalysis
这个技能用于分析Linux系统的sosreport档案，提取操作系统信息、安装的软件包、systemd服务状态、SELinux/AppArmor安全策略和内核参数，帮助诊断和解决系统配置相关问题。关键词：系统配置、sosreport、Linux系统管理、故障诊断、SELinux、AppArmor、系统服务、安全策略、内核参数。
Git提交管理Skill commit
此技能用于自动化git提交流程，强调用户批准和无属性添加，涵盖审查更改、计划提交、用户交互和执行提交。它帮助开发者高效管理代码版本，确保提交消息清晰、变更可追溯，并符合团队协作规范。关键词：git提交, 版本控制, DevOps, 代码管理, 自动化流程, 用户批准, 提交消息, 代码变更追踪
TDD迁移技能Skill tdd-migrate
这个技能是一种测试驱动开发（TDD）工作流，用于管理和执行代码迁移任务。它通过多个代理（如分析、实现、测试和审查代理）并行处理，确保主上下文干净，提高开发效率和代码质量。关键词：TDD、迁移、工作流、代理、并行测试、代码审查。
cargo-fuzzSkill cargo-fuzz
这个技能是关于使用 cargo-fuzz 工具进行 Rust 代码的模糊测试。它帮助开发者在 Cargo-based 项目中快速设置模糊测试，集成地址消毒器等安全工具，提高代码质量和安全性。关键词：模糊测试、Rust、Cargo、libFuzzer、安全测试、软件测试、漏洞挖掘。
npm包安装非交互确认处理Skill npm
该技能用于在非交互式环境中，通过管道传输 unix 'yes' 命令的输出来自动化处理 npm 包的安装确认，特别适用于需要用户确认的 Node.js 包安装场景。关键词包括 npm、安装、确认、非交互环境、管道、yes命令、Node.js、自动化部署。
SlackGIF创建工具Skill slack-gif-creator
一个专门用于创建和优化Slack平台动画GIF的工具包，提供知识、实用工具和动画概念，帮助开发者高效制作符合Slack要求的GIF动画，提升视觉表现和文件效率。关键词: Slack, GIF, 动画, 优化, Python, PIL, 图像处理, 工具包, 创建, 制作
ACSL注释助手Skill acsl-annotation-assistant
这个技能用于为C/C++程序生成ACSL（ANSI/ISO C Specification Language）形式验证注释，支持函数契约、循环不变量、内存安全注释等，以帮助使用Frama-C等工具进行代码验证和形式验证。关键词：ACSL，形式验证，C/C++，函数契约，Frama-C，代码注释，软件测试。
垃圾回收器实现者Skill garbage-collector-implementer
这个技能专注于实现各种跟踪垃圾回收器算法，如标记-清除、标记-压缩、复制和代际回收，用于构建语言运行时、学习内存管理原理和优化内存分配效率。关键词：垃圾回收、内存管理、GC算法、运行时开发、系统编程。
精炼类型检查器Skill refinement-type-checker
这是一个精炼类型检查器技能，用于通过添加谓词到类型来实现属性验证、契约检查和轻量依赖类型。它使用 SMT 求解器进行验证和推理，适用于编程语言类型系统和形式化验证领域。关键词：精炼类型、类型检查、谓词、SMT 求解器、验证、契约、依赖类型、属性验证、静态分析、编程语言。
类型检查器生成器Skill type-checker-generator
类型检查器生成器是一个用于从形式化类型系统规范生成类型检查器的技能。它支持编程语言设计、编译器实现、静态分析和类型系统验证，适用于构建健全且完整的类型检查工具。关键词：类型检查、编译器、静态分析、编程语言、类型系统、代码生成、软件开发。