软件开发 Skill技能列表
PHP现代特性Skill PHPModernFeatures
PHP现代特性技能专注于利用PHP 7.4+及更高版本的新功能，如类型属性、联合类型、匹配表达式、命名参数、枚举和属性，来编写类型安全、表达性强的PHP代码。它提升开发体验、代码质量和安全性，适用于后端开发、Web应用构建，并支持现代PHP编程实践，关键词包括：PHP、现代特性、类型安全、开发体验、后端开发、代码优化。
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开发。
RFP提案智能响应助手Skill afrexai-rfp-responder
RFP提案智能响应助手是一款基于人工智能的自动化工具，专为快速、高效地处理RFP（征求建议书）、RFI（信息征求书）和各类提案请求而设计。它能将客户需求文档自动转化为结构完整、竞争力强的专业提案回应，包含执行摘要、需求匹配矩阵、定价方案、风险缓解策略、项目时间线和核心差异化优势等关键部分。本工具适用于企业投标、政府项目、B2B服务竞标等场景，能显著提升提案质量、节省人工撰写时间、提高中标率。关键词：RFP响应，提案撰写，智能投标，自动化提案，竞标助手，AI写作，企业服务，政府投标，B2B提案，需求匹配。
GitHub个人资料架构师Skill github-profile-architect
GitHub 个人资料架构师是一种技能，专注于使用 GitHub 特殊仓库机制设计和优化个人主页 README，以提高招聘信号、视觉语义和动态自动化。关键技能包括 GitHub Actions、WakaTime、徽章设计、自动化工作流等。适用于开发人员、个人品牌建设者和招聘展示。关键词：GitHub, 个人主页, README, 自动化, DevOps, 个人品牌, 职业展示, 开发者工具。
内存模型分析器Skill memory-model-analyzer
内存模型分析器是一个专注于并发程序正确性验证的工具技能。它能够帮助开发者在不同的硬件架构（如x86 TSO、ARM弱内存模型）和编程语言内存模型（如C++11、Java）下，分析多线程程序的执行行为。核心功能包括：检测数据竞争、指导内存屏障（Memory Barrier/Fence）的正确插入、验证同步原语的使用、以及确保程序在弱内存模型下的预期语义。适用于系统软件开发、高性能计算、分布式系统等需要严格并发控制的领域。 关键词：内存模型，并发编程，数据竞争，内存屏障，顺序一致性，TSO分析，弱内存模型，同步验证，多线程调试，C++内存模型
线性规划建模器Skill linear-program-modeler
线性规划建模器是一个用于制定和解决线性规划模型的数学编程技能。它专注于资源分配优化、生产计划排程、产能决策支持，通过识别决策变量、构建目标函数、建模约束条件，并进行模型验证与敏感性分析，帮助企业实现成本最小化或利润最大化。适用于运筹学、工业工程、供应链管理、金融优化等领域。关键词：线性规划，运筹学，资源优化，生产计划，产能规划，数学模型，敏感性分析，影子价格。
反例生成器Skill counterexample-generator
反例生成器是一款自动化数学工具，专门用于搜索和发现数学猜想、定理或命题的反例。它通过智能采样、边界测试、SMT求解和有限模型查找等技术，帮助数学研究者、计算机科学家和学生验证猜想、调试证明。核心功能包括随机测试、约束求解和快速性质检查，适用于定理证明、形式验证和数学研究领域。关键词：反例搜索、数学猜想验证、定理证明、SMT求解、Quickcheck、自动化测试、形式验证、数学工具。
FastAPI后端开发技能Skill fastapi
FastAPI后端开发技能专注于使用FastAPI框架构建安全、高性能的REST API和WebSocket服务，涵盖输入验证、身份认证、速率限制、异步编程和数据库集成，适用于Web后端开发和微服务架构，关键词包括FastAPI、Python、后端开发、REST API、WebSocket、安全、性能优化。
CLINQ数据查询与优化Skill csharp-linq
C# LINQ技能用于在C#编程语言中进行数据查询和转换，支持查询语法和方法语法，具有延迟执行特性，适用于性能优化、集合操作和高级查询模式。关键词：C#, LINQ, 数据查询, 延迟执行, 性能优化, 集合操作, 表达式树, Entity Framework
Node.js后端模式Skill nodejs-backend-patterns
Node.js后端模式技能提供构建可扩展、可维护、生产就绪的后端应用程序的全面指导，涵盖Express和Fastify框架、分层架构、依赖注入、中间件模式、错误处理、认证授权、数据库集成、缓存策略等最佳实践，适用于开发REST API、GraphQL服务器、微服务架构。关键词：Node.js, 后端开发, Express, Fastify, 中间件, 错误处理, 认证, 数据库, API设计, 微服务。
移动向导Skill mobile-wizard
移动向导是一个用于移动应用开发的工具，能够快速初始化并搭建基于 React Native (Expo) 或 Flutter 的应用结构，如导航器、标签页和堆栈，从而提高开发效率。关键词：移动开发，脚手架，React Native，Expo，Flutter，应用结构。
依赖关系图生成器Skill dependency-graph-generator
依赖关系图生成器是一款用于分析软件代码架构的工具，能够自动扫描代码库，生成模块间的依赖关系可视化图谱。核心功能包括循环依赖检测、耦合度指标计算（传入耦合、传出耦合）、不稳定性分析，并支持导出为Graphviz、D3、Mermaid等多种格式。适用于微服务解耦、代码重构规划、系统迁移策略制定等场景，帮助开发者和架构师理解代码结构、识别设计缺陷、优化系统架构。