软件开发 Skill技能列表
线性规划建模器Skill linear-program-modeler
线性规划建模器是一个用于制定和解决线性规划模型的数学编程技能。它专注于资源分配优化、生产计划排程、产能决策支持，通过识别决策变量、构建目标函数、建模约束条件，并进行模型验证与敏感性分析，帮助企业实现成本最小化或利润最大化。适用于运筹学、工业工程、供应链管理、金融优化等领域。关键词：线性规划，运筹学，资源优化，生产计划，产能规划，数学模型，敏感性分析，影子价格。
PHP现代特性Skill PHPModernFeatures
PHP现代特性技能专注于利用PHP 7.4+及更高版本的新功能，如类型属性、联合类型、匹配表达式、命名参数、枚举和属性，来编写类型安全、表达性强的PHP代码。它提升开发体验、代码质量和安全性，适用于后端开发、Web应用构建，并支持现代PHP编程实践，关键词包括：PHP、现代特性、类型安全、开发体验、后端开发、代码优化。
反例生成器Skill counterexample-generator
反例生成器是一款自动化数学工具，专门用于搜索和发现数学猜想、定理或命题的反例。它通过智能采样、边界测试、SMT求解和有限模型查找等技术，帮助数学研究者、计算机科学家和学生验证猜想、调试证明。核心功能包括随机测试、约束求解和快速性质检查，适用于定理证明、形式验证和数学研究领域。关键词：反例搜索、数学猜想验证、定理证明、SMT求解、Quickcheck、自动化测试、形式验证、数学工具。
技能创建指南Skill skill-creator
该技能是一个指南，用于创建有效技能来扩展Claude的AI能力。它提供详细步骤、模板和资源，帮助用户开发专业化的工作流程、工具集成和领域知识技能包。关键词：技能创建、Claude扩展、AI技能开发、工作流指南、技能模板、低代码开发、AI工具集成。
GitLab操作与集成Skill gitlab
该技能允许用户通过环境变量 GITLAB_TOKEN 与 GitLab API 交互，自动化处理代码仓库、合并请求等操作。关键词包括 GitLab、API、代码管理、DevOps、Git、自动化。
Gmail邮件管理技能Skill gmail
这个技能提供了一套基于 Gmail API 的工具，用于自动化邮件管理任务，包括邮件读取、发送、搜索、删除、标签组织和批量操作。适用于集成到应用程序、自动化工作流和邮件处理优化。关键词：Gmail API、邮件自动化、邮件管理工具、电子邮件处理、批量操作、标签管理。
C系统编程Skill c-systems-programming
C系统编程技能专注于使用C语言进行低层系统软件开发，涵盖文件I/O、进程管理、信号处理和系统调用，适用于操作系统组件、设备驱动和高性能服务器等场景。关键词：C语言，系统编程，文件I/O，进程管理，信号处理，系统调用，低层软件开发。
存储过程和函数Skill stored-procedures
本文介绍了如何实现数据库存储过程和函数以处理业务逻辑、数据验证和性能优化。包括过程设计、错误处理和性能考虑，以及PostgreSQL和MySQL的存储过程和触发器示例。
Next.jsAppRouter-生产模式Skill nextjs
这个技能提供了Next.js 16 App Router的生产模式最佳实践，涵盖Server Components、Server Actions、Cache Components等，用于构建高性能的React应用，包括数据获取、表单处理、缓存优化和性能调优。关键词：Next.js 16, App Router, Server Components, Server Actions, 缓存组件, 性能优化, React 19.2, 生产部署, Web开发。
QE覆盖分析Skill "QECoverageAnalysis"
QE覆盖分析技能用于检测软件测试中的覆盖差距，使用O(log n)次线性算法提高效率，结合风险加权分析评估代码风险，并智能优先级排序测试工作，以优化软件质量。关键词：测试覆盖、风险分析、优先级排序、代码质量、QE覆盖。
依赖关系图生成器Skill dependency-graph-generator
依赖关系图生成器是一款用于分析软件代码架构的工具，能够自动扫描代码库，生成模块间的依赖关系可视化图谱。核心功能包括循环依赖检测、耦合度指标计算（传入耦合、传出耦合）、不稳定性分析，并支持导出为Graphviz、D3、Mermaid等多种格式。适用于微服务解耦、代码重构规划、系统迁移策略制定等场景，帮助开发者和架构师理解代码结构、识别设计缺陷、优化系统架构。
用户旅程技能Skill user-journeys
定义和测试真实用户体验的技能，专注于用户实际的导航流程、情感状态、错误恢复和现实世界条件。