软件开发 Skill技能列表
Git工作流-专业版本控制Skill git-workflow
这个技能用于高效管理Git源代码控制，包括分支策略、提交约定、合并冲突解决、变基和协作工作流如GitHub Flow或GitFlow。适用于团队环境中管理功能分支、创建有意义的提交、解决合并冲突、维护干净的Git历史记录。关键词包括Git、版本控制、工作流、团队协作、分支管理、提交规范、DevOps、代码审查。
Git工作流程专家Skill git-workflow
本技能提供 Git 版本控制工作流程的全面指导，包括分支管理、提交规范、合并冲突解决等，帮助开发者高效管理代码仓库。关键词：Git, 版本控制, 工作流程, 分支管理, 提交最佳实践, 合并冲突, DevOps。
数据库技能Skill databases
这个技能专注于使用MongoDB和PostgreSQL数据库进行开发和管理，涵盖数据库设计、查询编写、性能优化、迁移、备份恢复等操作，适用于后端开发、数据工程和数据库管理。关键词：数据库，MongoDB，PostgreSQL，查询优化，数据管理，后端开发。
规模游戏Skill ScaleGame
规模游戏是一种测试方法，通过在极端规模（如1000倍增大或减小、瞬时或长达一年）下测试系统，来揭示正常规模下隐藏的根本真相。它用于不确定可扩展性、边缘案例不清晰或验证生产环境架构的场景。关键词包括：极端测试、可扩展性、架构验证、规模游戏、软件开发测试。
变更日志生成器Skill changelog-generator
变更日志生成器是一个自动化工具，通过分析git提交历史，智能分类和翻译技术性commit，生成用户友好的变更日志和发布说明。它帮助软件开发团队、产品经理和DevOps工程师节省手动编写时间，提高文档效率和发布质量。关键词：变更日志生成、git提交分析、自动化文档、软件开发工具、发布管理。
现代JavaScript模式Skill modern-javascript-patterns
这个技能用于掌握现代JavaScript（ES6+）核心特性，包括箭头函数、解构、异步操作、函数式编程模式等，帮助开发者编写高效、可维护的前端代码，适用于重构遗留系统、优化Web应用性能及提升代码质量。关键词：JavaScript开发，ES6+，前端优化，异步编程，代码重构，函数式编程，性能提升。
完成热修复Skill finish-hotfix
这个技能用于自动化Git流程中的热修复分支完成操作，包括版本管理、测试运行、日志更新和代码合并，适用于软件开发和DevOps工作流。关键词：Git热修复、版本控制、DevOps自动化、代码合并、CI/CD。
GitHubCLI技能Skill github
GitHub CLI 技能使开发者能够通过命令行界面高效地与 GitHub 平台交互，用于管理代码、处理 issues 和 pull requests、监控 CI/CD 工作流程，以及进行高级 API 查询。适用于软件开发、DevOps 和自动化流程。关键词包括：GitHub CLI, GitHub, 命令行, 交互, issues, PRs, CI/CD, API, 查询, 自动化, 开发工具。
MongoDB多文档事务管理Skill mongodb-transactions
这个技能专注于MongoDB数据库中的ACID事务实现，用于保证在多文档操作时的数据一致性和原子性。包括会话管理、事务配置、错误恢复和重试逻辑。适用于后端开发、金融系统、电商平台等需要高一致性保证的场景。关键词：MongoDB, ACID事务, 多文档操作, 数据一致性, 错误处理, 会话管理, 重试逻辑, 后端开发。
Atheris模糊测试Skill atheris
Atheris是一个基于libFuzzer的覆盖引导Python模糊测试工具，专门用于对纯Python代码和Python C扩展进行模糊测试，并集成了AddressSanitizer支持以检测内存腐蚀问题。关键词：Python模糊测试、覆盖引导、libFuzzer、内存腐蚀、AddressSanitizer。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
简单类型化λ演算Skill simply-typed-lambda-calculus
这个技能用于实现简单类型化λ演算（STLC），包括函数类型、积类型、和类型和单位类型。它适用于学习类型系统、构建编程语言解释器、进行形式化验证和语言原型设计。关键词：类型系统、λ演算、解释器、形式化验证、编程语言理论、健全性证明。