软件开发 Skill技能列表
Vitest测试框架指南Skill vitest
这个技能提供Vitest测试框架的全面指导,涵盖快速测试执行、Vite集成、组件测试、模拟和配置。适用于编写快速单元测试、测试Vue/React组件或在Vite项目中配置Vitest。关键词:Vitest, 测试框架, 单元测试, 组件测试, Vite, Jest兼容, 监视模式, HMR, TypeScript, ESM, 模拟, 快照, 覆盖率, 浏览器模式, 视觉回归测试。
仓库文档生成器Skill repo-docs
仓库文档生成器是一款自动化代码仓库文档生成工具,专为软件开发团队设计,能够智能分析代码库结构、识别跨仓库集成点,并自动生成全面、规范的README、API文档、贡献指南和架构文档。该工具支持多语言项目,内置集成发现算法,确保文档准确反映项目依赖关系和系统架构,提升团队协作效率和项目可维护性。关键词:代码文档生成,仓库文档自动化,API文档工具,跨仓库集成分析,软件开发文档,README生成器,贡献指南模板,架构文档工具。
策展研究Skill curatorial-research
策展研究技能专注于为博物馆、美术馆等艺术机构提供专业的艺术史研究、艺术品来源调查和学术分析服务。通过运用图像学、形式分析等方法,结合一手档案和二手文献,该技能旨在为艺术展览策划、藏品征集和学术出版物提供坚实的学术支撑和决策依据。关键词:策展研究,艺术史分析,艺术品来源调查,博物馆研究,展览策划,学术分析,档案研究,艺术品真伪鉴定。
Blazor认证与授权技能Skill dotnet-blazor-auth
本技能专注于在.NET Blazor应用中实现完整的认证和授权解决方案,覆盖登录/注销流程、AuthorizeView组件、ASP.NET Core Identity UI集成、OIDC外部身份提供商,支持多种Blazor托管模型(Server、WASM、Auto、SSR、Hybrid),并包括角色和策略授权机制,适用于前端开发者和全栈工程师构建安全、高效的Web应用。关键词:Blazor认证、Blazor授权、.NET安全、ASP.NET Core Identity、OIDC、前端开发。
网络测试Skill network-testing
网络测试技能是一套用于全面评估、验证和优化网络性能的专业工具集。它提供带宽测量、负载压力测试、延迟分析、协议一致性验证和混沌工程实验等功能,帮助工程师诊断网络瓶颈、确保服务质量(SLA)并生成详细测试报告。关键词:网络测试、性能基准、负载测试、延迟分析、带宽测量、混沌工程、协议测试、网络诊断。
前端美学设计Skill frontend-aesthetics
前端美学设计技能是一个专门用于创建高质量、独特UI界面的设计指南。它专注于避免常见的AI生成设计模式,提供专业的字体排版、色彩系统、动效设计和背景深度方案。关键词包括:UI设计、前端美学、设计系统、字体排版、色彩搭配、动效设计、Tailwind CSS、Framer Motion、设计令牌、品牌界面、仪表板设计、落地页优化。
技能重新加载Skill reload-skill
技能重新加载工具用于在修改技能配置文件或脚本后,无需重启系统即可重新加载技能,确保更改立即生效,适用于技能开发、测试和运维场景,提高效率。关键词:技能重新加载、技能管理、配置文件更新、脚本修改、系统刷新、开发工具。
API测试技能Skill api-testing
专家级 API 测试技能,涵盖 FastAPI 后端和 React/Next.js 前端的单元测试、集成测试和端到端测试,强调测试覆盖率和质量保障。
智能文件整理助手Skill file-organizer
这个技能用于智能整理文件和文件夹,通过自动化分析、查找重复文件、建议组织结构和执行清理操作,帮助用户高效管理文件系统。关键词包括文件组织、重复文件查找、文件夹整理、自动化清理、智能整理、文件管理工具、目录优化、去重功能。
JSONCanvas技能Skill json-canvas
JSON Canvas 技能用于创建和编辑 JSON Canvas 文件,这是一种用于无限画布数据的开放文件格式,适用于 Obsidian 等应用中的思维导图、流程图、视觉画布和项目管理。关键词:JSON Canvas, Obsidian, 画布编辑, 思维导图, 流程图, 无限画布, 视觉工具, 文件格式, 节点连接
线性规划建模器Skill linear-program-modeler
线性规划建模器是一个用于制定和解决线性规划模型的数学编程技能。它专注于资源分配优化、生产计划排程、产能决策支持,通过识别决策变量、构建目标函数、建模约束条件,并进行模型验证与敏感性分析,帮助企业实现成本最小化或利润最大化。适用于运筹学、工业工程、供应链管理、金融优化等领域。关键词:线性规划,运筹学,资源优化,生产计划,产能规划,数学模型,敏感性分析,影子价格。
Lean定理证明助手Skill lean-proof-assistant
Lean 定理证明助手是一个基于 Lean 4 形式化验证系统的专业工具,专注于数学定理的形式化证明与验证。它能够将非形式化的数学证明转化为机器可检查的 Lean 代码,利用 Mathlib4 数学库中的已有成果,通过自动化策略辅助用户完成严谨的证明过程。该工具适用于数学研究、计算机科学中的形式化方法验证以及数学教育等领域。 关键词:Lean 4, 定理证明, 形式化验证, 数学形式化, Mathlib4, 证明助手, 自动推理, 策略证明