typescript-advanced-types
一份关于 TypeScript 高级类型系统的技能指南，涵盖泛型、条件类型、映射类型、模板字面量类型与工具类型，用于构建类型安全的库、组件、API 客户端、表单校验与状态管理，并包含类型推断技巧、最佳实践与常见陷阱。
Skill 广场
找到适合任务的 Agent Skill，阅读介绍并复制安装命令。
更新于 10-18 00:12
编程与开发
36,910 个结果
graphql-api-development
GraphQL API 开发综合技能，基于 graphql-js 构建生产级 GraphQL API。涵盖 schema 设计、类型系统、resolver、查询、变更、订阅、认证授权、缓存、测试与部署策略。适合需要灵活数据获取的 Web 或移动客户端、复杂嵌套数据关系、多客户端类型、实时订阅、自文档化 API 以及微服务统一 API 等场景。资料同时说明何时应继续使用 REST，例如简单 CRUD、文件上传下载、HTTP 缓存关键、团队不熟悉 GraphQL 或现有 REST 基础设施运行良好时。
intel-vtune-amd-uprof
面向 CPU 微架构性能分析的技能，指导使用 Intel VTune Profiler（免费社区版）与 AMD uProf 定位热点、诊断流水线停顿、分析内存访问模式并做 Roofline 模型分析。
rust-build-times
用于优化 Rust 编译速度的技能，指导使用 cargo-timings 分析构建瓶颈、配置 sccache 缓存、Cranelift 后端、工作区拆分、LTO 配置与 mold/lld 快速链接器，适合排查项目编译缓慢问题。
api-design-principles
该技能专注于 REST 与 GraphQL API 设计原则，用于构建直观、可扩展、易维护的 API。资料涵盖 RESTful 设计（面向资源架构、HTTP 方法语义）、GraphQL 设计（Schema 优先、查询与变更结构）、版本控制策略（URL、Header、查询参数），并给出资源集合设计、分页与过滤、错误处理与状态码、HATEOAS、GraphQL Schema、DataLoader 防 N+1 等代码模式，以及命名、无状态、限流、文档等最佳实践和常见陷阱。
cpu-profiling
用于分析 CPU 占用、定位热点函数与性能瓶颈的技能，帮助聚焦最耗时的代码路径进行优化。资料覆盖浏览器与 React 的性能分析入口，适用于高 CPU 占用、执行缓慢、性能回退及优化前后的场景。
test-driven-development
TDD 技能：强制先写失败测试再写代码，遵循 RED-GREEN-REFACTOR 循环，适用于新功能、缺陷修复、重构与行为变更。
guide-macos-spm-packaging
该技能提供一套不依赖 Xcode 项目的 SwiftPM macOS 应用打包工作流，涵盖目录脚手架、构建、打包、运行，以及可选的签名、公证与发布步骤。
cli-anything-novita
Novita AI 的命令行客户端，通过 OpenAI 兼容 API 调用 DeepSeek、GLM 等模型，支持聊天、流式输出、模型列表、会话与配置管理，并提供 JSON 输出供智能体使用。
linear-dev-accelerator
Linear Development Accelerator 是一个用于加速软件开发的技能，通过 Linear 项目管理与 MCP 服务器集成，帮助团队快速搭建项目、管理问题与任务、规划迭代周期并自动化开发工作流。它覆盖问题跟踪、项目规划、标签与状态管理、评论协作、团队与用户管理、周期（Sprint）规划以及文档管理，并支持与 GitHub 的 PR 联动。适用于前端、后端、全栈及移动应用开发场景，强调以问题为中心、按周期推进、按项目组织的工作方式。
zephyr
面向 Zephyr RTOS 嵌入式开发的技能，指导使用 west 构建应用、配置开发板与目标、使用 Kconfig 与 devicetree、日志与 shell，以及 native_sim 主机测试和 GDB 调试。
pp-coingecko
pp-coingecko 是驱动 coingecko-pp-cli 二进制的只读命令行技能，用于查询 CoinGecko 公开加密货币数据。基础端点免费、无需 API 密钥，支持币种详情、行情、全局数据、搜索与价格查询。
widgetkit
WidgetKit 的 API 参考技能，用于查询小组件时间线、条目、提供者以及主屏幕和锁屏小组件相关开发问题。
gitnexus-pr-review
GitNexus PR Review 是一个用于代码审查的技能，帮助用户在合并前审查拉取请求、理解 PR 的改动内容、评估合并风险以及检查测试覆盖缺口。它通过 detect_changes、impact、context 等工具，将 PR 的 diff 映射到受影响的执行流程，计算每个改动符号的影响范围（d=1/d=2/d=3 依赖层级），并识别 PR 之外可能被破坏的调用方。适用于审查他人代码改动、判断合并安全性、评估爆炸半径和测试覆盖等场景。
fba
FastAPI Best Architecture（fba）项目开发指南技能，用于在 fba 项目中设计、实现、审查或编写 API、Schema、Service、CRUD、Model 及插件相关代码，遵循其分层架构与插件约定。
qa
gstack 中的 QA 技能，用于查找并修复浏览器、API、CLI、任务、worker、webhook 等层面的缺陷，并在验证后原子化提交修复。可按快速、标准、详尽三个层级运行，输出契约结果或浏览器健康评分、修复证据与可发布性总结。
netsuite-suitescript-learning
Oracle NetSuite 提供的 SuiteScript 与 SDF 交互式学习技能，含 learn、review、explain、annotate、quiz、final 六种模式，结合 SAFE Guide，用于学习治理、性能、安全等主题并在编码时嵌入教学注释。
eventkit
EventKit 的 API 参考技能，用于查询日历与提醒事项相关接口，涵盖 EKEventStore、EKEvent、EKReminder 及日历访问权限，帮助解答 Apple 日历和提醒 API 的使用问题。
code-review
这是一个关于代码评审实践的技能指南，强调技术严谨性、基于证据的判断以及验证优先于表面回应。它涵盖三大实践：接收反馈（以技术评估代替客套式认同）、请求评审（通过 code-reviewer 子代理进行系统化评审）、验证门（在声称完成前先取得证据）。适用于收到代码评审意见、完成任务或重大功能需要评审、以及在提交或合并前需要验证的场景。核心原则是技术正确性高于社交舒适：先验证再实现，先提问再假设，先有证据再下结论。
124-java-secure-coding
该技能用于在 Java 项目中应用安全编码最佳实践，涵盖输入校验、注入防御、加密、密钥管理、安全反序列化与输出编码，并规定改动前先编译、改动后完整验证的流程。
skill-host-compat
skill-host-compat 是一个用于在提交技能 PR 前检查 ECC 技能主机兼容性的工具。它运行与 CI 相同的 host-compat 门禁，针对 Codex 和 Cursor 的技能副本，检查 frontmatter 是否安全、是否包含仅适用于 Claude 的替换变量。该工具可识别 Codex/Cursor 投影中可执行 bash/sh/zsh 代码块里的 Claude 专属变量（如 ${CLAUDE_SESSION_ID}、${CLAUDE_SKILL_DIR}、${CLAUDE_PLUGIN_ROOT}、${CLAUDE_PROJECT_DIR}、$ARGUMENTS），并检查 Codex 副本的 frontmatter 字段限制、目录结构一致性以及 CONTRIBUTING 清单项。支持通过命令行或斜杠命令运行，可输出清单统计或启用严格清单模式。
bmad-generate-project-context
此技能已弃用，仅用于转发到 bmad-project-context。原说明为：该技能已弃用——bmad-project-context 现在负责此工作，不会再生成单个 project-context.md，而是在仓库 AGENTS.md 中写入一小段经核验的内容块，并会把已有的 project-context.md 提供吸收。
lean4
Lean 4 是一个面向 Lean 4 定理证明与形式化数学的 AI 技能，适用于编辑 .lean 文件、调试 Lean 4 构建错误（类型不匹配、sorry、实例综合失败、公理警告、lake 构建错误）以及搜索 mathlib。其核心理念包括：先搜索再证明（许多数学事实已存在于 mathlib 中）、增量构建（Lean 类型检查器即测试套件，无 sorry 且仅用标准公理编译通过即为可靠证明）、尊重范围（按用户偏好填补 sorry 及其依赖）。Lean 文件采用 100 字符行宽。该技能提供多条命令，如 /lean4:draft 起草声明骨架、/lean4:formalize 交互式形式化、/lean4:prove 引导式证明、/lean4:autoprove 自主证明、/lean4:disprove 反例搜索、/lean4:review 只读审查、/lean4:refactor 重构、/lean4:golf 优化证明、/lean4:learn 交互式教学等。它优先使用基于 LSP 的检查与 mathlib 搜索工具，并提供针对 sorry 分析、公理检查与错误解析的脚本原语。
kiro-skill
Kiro 是一个交互式的功能开发工作流技能，帮助开发者把想法逐步转化为完整的功能规格、设计文档和可执行的实现计划。它按照“需求 → 设计 → 任务 → 执行”四个阶段推进：需求阶段用 EARS 格式和用户故事定义要构建什么；设计阶段产出架构、组件、数据模型、错误处理与测试策略；任务阶段生成测试驱动、可增量执行的实现步骤；执行阶段一次实现一个任务。所有产物保存在 .kiro/specs/{feature-name}/ 目录下，采用 kebab-case 命名。每个阶段都需要用户明确批准后才能进入下一阶段，强调迭代评审与最小化代码。