软件开发 Skill技能列表
线性规划建模器Skill linear-program-modeler
线性规划建模器是一个用于制定和解决线性规划模型的数学编程技能。它专注于资源分配优化、生产计划排程、产能决策支持，通过识别决策变量、构建目标函数、建模约束条件，并进行模型验证与敏感性分析，帮助企业实现成本最小化或利润最大化。适用于运筹学、工业工程、供应链管理、金融优化等领域。关键词：线性规划，运筹学，资源优化，生产计划，产能规划，数学模型，敏感性分析，影子价格。
反例生成器Skill counterexample-generator
反例生成器是一款自动化数学工具，专门用于搜索和发现数学猜想、定理或命题的反例。它通过智能采样、边界测试、SMT求解和有限模型查找等技术，帮助数学研究者、计算机科学家和学生验证猜想、调试证明。核心功能包括随机测试、约束求解和快速性质检查，适用于定理证明、形式验证和数学研究领域。关键词：反例搜索、数学猜想验证、定理证明、SMT求解、Quickcheck、自动化测试、形式验证、数学工具。
技能创建指南Skill skill-creator
该技能是一个指南，用于创建有效技能来扩展Claude的AI能力。它提供详细步骤、模板和资源，帮助用户开发专业化的工作流程、工具集成和领域知识技能包。关键词：技能创建、Claude扩展、AI技能开发、工作流指南、技能模板、低代码开发、AI工具集成。
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开发。
存储过程和函数Skill stored-procedures
本文介绍了如何实现数据库存储过程和函数以处理业务逻辑、数据验证和性能优化。包括过程设计、错误处理和性能考虑，以及PostgreSQL和MySQL的存储过程和触发器示例。
GitLab操作与集成Skill gitlab
该技能允许用户通过环境变量 GITLAB_TOKEN 与 GitLab API 交互，自动化处理代码仓库、合并请求等操作。关键词包括 GitLab、API、代码管理、DevOps、Git、自动化。
技能编排器Skill skill-orchestrator
技能编排器是任务管理系统中的核心组件，用于基于任务语言和状态将命令智能路由到相应的工作流。它负责任务查找、状态验证、上下文准备和执行协调，确保多步骤工作流的高效运行。关键词：任务编排、工作流路由、状态管理、上下文加载、智能路由。
FastAPI后端开发技能Skill fastapi
FastAPI后端开发技能专注于使用FastAPI框架构建安全、高性能的REST API和WebSocket服务，涵盖输入验证、身份认证、速率限制、异步编程和数据库集成，适用于Web后端开发和微服务架构，关键词包括FastAPI、Python、后端开发、REST API、WebSocket、安全、性能优化。
依赖关系图生成器Skill dependency-graph-generator
依赖关系图生成器是一款用于分析软件代码架构的工具，能够自动扫描代码库，生成模块间的依赖关系可视化图谱。核心功能包括循环依赖检测、耦合度指标计算（传入耦合、传出耦合）、不稳定性分析，并支持导出为Graphviz、D3、Mermaid等多种格式。适用于微服务解耦、代码重构规划、系统迁移策略制定等场景，帮助开发者和架构师理解代码结构、识别设计缺陷、优化系统架构。
移动向导Skill mobile-wizard
移动向导是一个用于移动应用开发的工具，能够快速初始化并搭建基于 React Native (Expo) 或 Flutter 的应用结构，如导航器、标签页和堆栈，从而提高开发效率。关键词：移动开发，脚手架，React Native，Expo，Flutter，应用结构。
CLINQ数据查询与优化Skill csharp-linq
C# LINQ技能用于在C#编程语言中进行数据查询和转换，支持查询语法和方法语法，具有延迟执行特性，适用于性能优化、集合操作和高级查询模式。关键词：C#, LINQ, 数据查询, 延迟执行, 性能优化, 集合操作, 表达式树, Entity Framework
正式报告生成技能Skill "formal-report-with-responsibility-and-metrics"
此技能用于生成正式的、结构化报告，强调责任分配和量化指标，适用于官方文档、项目管理、战略规划等场景，便于决策和执行。关键词：正式报告、责任划分、量化指标、可执行报告、报告撰写、官方文档、项目管理、SEO搜索优化。