SuperAPI AI 工具集

Skill 广场

找到适合任务的 Agent Skill,阅读介绍并复制安装命令。

更新于 11-15 00:13

编程与开发

41,136 个结果

project-setup-info-local

project-setup-info-local 是一个项目脚手架技能,用于根据用户需求提供多种项目的初始化与搭建信息。它覆盖 VS Code 扩展、Next.js 应用、Vite 前端项目、MCP 服务器、Python 脚本和 Python 包六类项目,分别给出对应的创建命令、可用参数以及操作规则。该技能会先判断用户想创建的项目类型,再选择对应的搭建方式,并且仅在文件夹为空或刚通过工具创建工作区时才进行项目搭建。对于 MCP 服务器项目,它会引导查阅官方 SDK 仓库和文档,创建 .vscode/mcp.json,更新 copilot-instructions.md,并安装所需扩展。它属于微软 vscode-copilot-chat 项目下的技能,来源为 microsoft/vscode-copilot-chat。

编程与开发8 次安装

engineering-change-descriptions

该技能用于撰写、重写或审阅 PR/CL 描述、提交信息与代码变更摘要,说明改了什么以及为什么改。内容改编自 Google 工程实践文档《Writing good CL descriptions》,面向评审者和未来维护者,强调变更描述应成为可长期查阅的工程历史。技能给出了首行标题、正文应包含的信息、标准 PR/小型变更/重构/生成或机械性变更四类模板、重写检查清单与常见错误,适用对象为开发者在提交代码前组织变更说明。

编程与开发8 次安装

engineering-small-prs

engineering-small-prs 是一个面向工程团队的技能(Skill),用于将大型功能、重构、迁移或拉取请求(PR/CL)规划并拆分为可审阅的小型变更。它强调“小”指概念聚焦、自包含,而非行数少;每个 PR 应只做一个自包含改动、包含验证测试、合并后系统仍可用,并给审阅者足够上下文。该技能提供拆分流程(命名最终目标、列出独立变更与依赖、选择策略、构建保持构建通过的合并序列),常见拆分策略包括先加测试、先重构、纵向切片、谨慎的水平切片、按文件/负责人分组、配置分离、生成或机械改动分离、删除独立等;对 schema、数据、API、基础设施迁移推荐 expand/contract 序列,并要求说明部署顺序、回滚行为、验证信号。还提供输出模板与常见错误清单。

编程与开发8 次安装

how

How 是一个用于解释代码当前实现与执行流程的技能。它把当前实现描述为读者可以跟随的路径,聚焦于代码流程、当前执行状态和状态归属,而不是历史原因或重新设计。使用时需要界定问题范围,检查当前源码及其相关的直接调用方、配置和测试;当指代不明确时给出解释。它会追踪具体触发点经过各个有意义的边界,包括输入与转换、状态所有者、副作用与可观察结果,并在影响结果时涵盖失败、取消、重试和清理路径。对于应用或扩展流程,会指明进程与生命周期归属;对于响应式流程,会指明参与者与资源归属,并采用实现本身的真实架构。重要陈述会锚定到源码位置,区分源码推导行为、测试结果和运行时观察,并在声称当前应用行为前解决版本、构建或环境不匹配问题。未知路径会被标记,而不是用看似合理的细节填充。回答按问题规模组织:先给结果,再给执行顺序、归属和重要注意事项;仅在有助于澄清边界时添加小型引用图。

编程与开发8 次安装

principle-derive-from-one-owner

该技能为一条编码原则:当同一事实或决策在多处被计算或存储时,应为其指定唯一“所有者”,其余位置一律从该所有者派生,而不是各自重算或同步副本。它指导开发者找出所有计算、存储或同步该事实或决策的位置,区分各位置之间的差异究竟是有意为之的调用方差异,还是已经发生的漂移;随后选定一个所有者,优先复用已有的领域函数或事实来源,否则选择持有输入的边界,只把所有者结果传递到真正需要的位置。技能强调派生而非同步副本,不为每个调用方重复计算决策,不让存储副本与副作用或任务保持同步,也不为无关层次传递额外标志;有意为之的调用方差异应显式保留在该调用方并作用于所有者结果,同时删除漂移的计算或存储副本。适用于同一事实或决策被多处维护、副本之间产生不一致的场景,不适用于建模合法状态或折叠透传层。

编程与开发8 次安装

principle-encode-lessons-in-structure

该技能是一条工程原则:当某个已验证的教训重复出现(同一失败或纠正至少发生两次)时,把教训固化为结构性的防护措施。它要求先识别具体失败与可排除该失败的不变量,再选择最小的合适归属点(领域类型、构造函数、元数据约束、lint 规则、运行时检查或现有脚本),并证明该防护能拒绝真实的历史失败、同时不误伤正常行为。若规则可机械判定,就保留一个权威执行点;若正确性需要判断,则在原归属点保留一条聚焦指令、具体失败与成功示例以及可核查的评审标准。

编程与开发8 次安装

principle-foundational-thinking

这是一个名为 principle-foundational-thinking 的技能,用于指导在软件开发中何时应当先构建基础(foundation)。其核心主张是:只有当当前工作确实依赖某项基础时才先行搭建,避免为“以后可能用到”而提前引入基础设施、抽象或核心状态与契约。技能要求先定义必要的领域状态、身份、生命周期与不变量,明确每项决策与变更的归属,并在选择类型或数据结构前追踪真实的访问与更新路径。它强调复用现有工具、先整合共享领域结构与契约再抽象、在添加替代机制前清理已确认的死代码,并以可验证的连贯增量交付。该技能与 principle-reuse-before-building、principle-separate-before-serializing-shared-state、principle-subtract-before-you-add 等原则相区分。

编程与开发8 次安装

principle-hide-representations

这是一个关于模块边界设计的软件设计原则技能,核心主张是:跨模块边界只暴露领域概念,而不是数据传输、存储或框架所用的私有表示。它要求开发者列出所有穿过模块公共表面的内容(参数、返回值、错误、事件、再导出),标记其中的 wire 载荷、数据库行、ORM 实体、SDK 对象或框架类型,并在边界处进行转换:进入时把私有表示映射为领域类型,出去时再映射回私有表示,同时将库错误转换为领域错误。该原则强调不在公共表面再导出传输、存储、框架或 wire 类型;通用机制保留在内部,特殊策略放在边界,由调用方适配器提供,共享机制不增加针对特定调用方的分支或标志。最后用领域类型校验消费者,使表示变化只需改动映射。该技能适用于处理模块边界设计的场景,不适用于从不离开模块的内部类型。

编程与开发8 次安装

principle-keep-the-core-pure

该技能用于把散落在适配器、请求处理器、后台任务或 UI 组件中的领域决策提取为纯函数,让框架接线保持薄而机械。它要求在每个外壳代码中找出应用业务规则、计算结果或选择结果的分支,将其提取为输入显式、输出领域结果的纯函数,时间、配置和标识符均作为参数传入,函数内部不读取时钟、全局变量、数据库或框架对象。外壳只负责读取输入、调用函数并用结果执行副作用;新规则加进函数而非外壳;多个框架需要同一规则时共享该函数而非各自复制。决策可直接测试,无需启动框架、服务器、数据库或渲染器。适用于领域逻辑落入适配器、处理器、任务或 UI 组件的场景,不适用于不涉及领域决策的接线。

编程与开发8 次安装

principle-minimize-reader-load

该技能是一条面向代码可读性的设计原则:当现有调用路径需要穿过多个层次或可变上下文、且难以追踪时,以“降低读者理解负担”为目标审视代码。它要求围绕一个具体问题追踪完整路径,明确值来自哪里、什么能改变它,并统计读者必须记住的间接层与可变上下文。在不改变行为的前提下,可将纯转发层内联合并,但小边界若承担授权、幂等、隐私、错误处理或资源生命周期等职责,须保留或显式迁移其归属。它强调以改动前后的追踪路径对比和所有权说明作为判断依据,并验证受影响行为,尤其是并发重叠请求与失败路径;文件更短或阅读时长指标不构成读者负担降低的证据。该原则与“先减后加”“收窄状态生命周期”“单一所有者派生”等原则有明确区分。

编程与开发8 次安装

principle-model-the-domain

该技能是一个领域建模原则,用于在代码中以结构直接表达合法状态、状态转换、所有权与访问模式,让非法状态和分散的领域规则无处落脚。它要求先识别合法状态、禁止组合、转换、所有权和访问模式,再选择最小结构表达:用变体表示互斥选项、用转换模型表示生命周期、用映射表示键值查找、用队列表示有序工作。核心做法是让数据随状态携带(如 pending、failed(error)、complete(receipt)),集中管理转换规则而不在各消费方同步标志位,把重复的领域知识归到单一所有者;执行阶段本身不定义所有权。对持久化或外部表示,需要解析或迁移进模型,因为类型无法追溯地把已存储的非法状态变成合法。验证时应通过公共行为测试允许和拒绝的转换,包括恢复与失败路径。若某抽象不能消除非法状态、重复规则或生命周期风险,就保留简单的局部代码;不需要引入框架。该技能与类型系统纪律、边界解析、单一来源派生等原则有明确区分。适用场景为:领域逻辑中非法状态或重复规则造成复杂化,而局部转换本身清晰时。

编程与开发8 次安装

principle-observe-dont-infer

“Observe, don't infer”(观察,而非推断)是 mintuz/skills 中的一条开发与验证原则类技能,强调代码中的名称、标签或模式只表达意图,并不能证明实际行为,必须直接观察其真实效果后再依赖。该原则要求:在使用某个模式、标志、函数或字段名之前,先明确自己假设它会产生什么效果,并直接验证该效果。例如,对 dry-run 或测试模式,应检查它实际触碰了哪些文件、网络、git 引用、浏览器或外部服务,因为有些 dry-run 仍会写入或发送数据;对类型守卫或校验器,应阅读或实际运行以确认它验证了名称所承诺的全部属性,避免“说谎的守卫”把缺陷藏在安全名称之后;对重命名的属性或字段,在断定存储或编码后的键已改变之前,应先检查编码键、schema 或等价映射。若在自身权限内无法观察该效果,应将其标记为“未验证”,并在所有依赖该效果的结论中作为假设保留,也不应为此类依赖放行操作。该技能区别于“证明其有效”(宣称完成结果可用)、“标注证据”(记录每项主张的状态与证据等级)以及“边界解析”(不可信数据进入信任边界)等原则;完成标准是:所依赖的每个效果都已观察,或被标记为未验证。资料未提供安装命令、平台支持、收费方式或具体使用步骤等信息。

编程与开发8 次安装

principle-outcome-oriented-execution

该技能是一项面向结果导向执行的工程原则,用于已获批准、具有明确阶段边界的迁移工作。它要求先声明可接受的最终状态行为与保证、受影响的消费方、各阶段检查点和回滚方案,并围绕最终结果优化迁移,而不是保留一次性的内部形态。仅在已授权、隔离且可逆的工作范围内允许临时破坏,且必须有明确边界与恢复路径;共享分支、已部署系统和受支持的消费方需保持可用。每个阶段结束时运行高信号检查,失败的门禁需先解决再继续。最终产物需通过相关的静态、集成与运行时检查,未完成的检查须如实报告。

编程与开发8 次安装

principle-preserve-unrelated-work

这是一条面向编码智能体(或开发者)的工作原则技能,核心是“保留无关工作”:当一次 diff、提交或 git 操作有可能触及请求范围之外的内容时,应只改动任务要求的部分,把他人未提交的改动、索引状态和既有行为原样保留。使用前先阅读 worktree 与索引;把不是自己做的改动都视为他人的工作;只暂存和提交自己的改动(且仅在要求时);需要与他人共享文件时按 hunk 挑选而非整文件提交;不 stash/reset/checkout/丢弃他人的改动;交付前对比 diff 与初始状态,逐项还原或说明每处附带改动。适用于多人协作仓库、脏工作区、边界清晰的修改类任务。注意:该技能不判断操作是否被授权,也不处理与基线同步,这些属于其它原则。

编程与开发8 次安装

principle-redesign-from-first-principles

该技能面向“新需求挑战既有设计”的场景,用来指导从第一性原理出发的再设计:先阅读受影响的代码路径,明确目标结果、不变量、受支持的调用方与运行约束,再设想“若该需求从一开始就存在会选什么设计”,并仅采用最小且自洽的演进方案,而非以全新推理为由进行整体重写。它强调把选定设计贯穿到类型、校验、调用方、示例与文档中,避免留下互相冲突的局部开关或特例;变更需按有界、可验证的切片交付,必要时提供迁移与回滚,并在声明完成前验证行为。描述同时明确该技能不是重写授权,也不等同于探索设计空间、调用方迁移或基础性思考等其他原则类技能。

编程与开发8 次安装

principle-separate-before-serializing-shared-state

这是一条关于并发写入与共享可变状态设计的原则:先识别每个并发写入者、可变目标和不变式,若各写入者发布的是相互独立的事实,就按所有者拆分到独立文件、键、分支或状态对象,再在读取或报告边界合并;只有确实存在同一共享不变式时,才用事务、比较并交换、独占写入者或适当加锁等方式在结构上强制共享所有权。原则强调,同一文件不同字段的读—改—写仍共享写入目标,拆分需与读取端对缺失、过期、部分发布的处理配套;容量与预留等真正原子不变式不可拆成独立副本,否则可能超卖。它区别于幂等操作、单一所有者推导和收窄状态生命周期等原则,并给出完成判定:覆盖写入、中断与重试均已演练,独立进展与共享不变式保持同时成立。

编程与开发8 次安装

principle-stay-in-scope

该技能用于在执行编辑、提交、推送、合并、打标签、发布、部署、发送外部消息或委派等有后果的操作前,核对当前操作是否落在已授予的权限范围内。它区分不同授权种类:修复授权只覆盖狭窄的修复,分析授权只覆盖推理,原型授权不算生产替换,受监视分支的授权只覆盖该分支。技能要求先说出授权来源,再逐项检查操作;范围外的事项只报告证据和解锁所需权限,不擅自执行。明确不适用于只读调查请求,也不适用于等待人工决策的工作。

编程与开发8 次安装

principle-subtract-before-you-add

这是一个编码原则型技能,用于在新增机制、所有者、队列、校验器或抽象层之前,先检查是否可以通过删除已有冗余或改用现有机制来满足需求。它要求先确认变更必须保留的行为与保证,再清理已证明的死路径、重复规则和无内容引用,并修复受影响的调用方与链接。该技能强调先做独立且安全的减法、再构建,删除需以证明冗余为前提,并保留失败行为与测试;最终选择满足契约的最小一致变更,验证公共行为与引用后即可停止。

编程与开发8 次安装

principle-type-system-discipline

这是一个关于“类型系统纪律”的 AI 技能原则,用于在类型系统允许无效状态或语义混淆时,通过编译器强制约束领域区分,从而预防真实错误。该技能主张将备选方案建模为必带载荷的变体,而不是互相矛盾的布尔标志和可选字段,并利用穷尽匹配让新增变体产生编译期义务。它要求在容易混淆的语义原语之间建立区分(例如风险 API 中的 UserId 与 InvoiceId),并校验其构造;对本身是“部分函数”的情况加强输入类型(如 head 需要非空序列,而 sum 对空序列仍然全函数);避免不保护任何有意义不变量的包装类型。若存在权威 schema,应从中派生类型,通过收窄、校验或精化模型来处理不确定性,而不是用类型转换掩盖。适用场景包括类型允许无效状态、语义混用代价高的代码设计;不适用于追求最大类型精度或对不可信输入做运行时校验。完成标准是:变体匹配穷尽;混淆代价高的语义类型彼此区分;部分函数获得更强输入约束;没有类型转换掩盖不确定性。

编程与开发8 次安装

principle-update-the-base-deliberately

该技能是一项版本控制工作原则:在开始基于某个基线分支或修订版本工作、或与其同步之前,先检查真实的基线和无关改动,包括当前修订、与目标基线的分叉、未提交或未跟踪的文件,以及其他依赖该分支的工作。只有在请求明确覆盖时才进行范围受限的基线更新,禁止把 stash、reset、rebase 当作自动步骤;遇到脏工作区或共享检出可能干扰时,改用隔离检出或 worktree。适用于从基线分支开工或同步的场景,不适用于安排变更单元顺序或接手交接工作。

编程与开发8 次安装

why

Why 是一个用于调查代码存在原因、设计理由与权衡取舍的技能。它强调代码只展示行为,并不能单独证明意图,因此需要结合目标符号、当前源码、本地历史记录以及关联的评审或议题理由进行溯源。该技能把直接证据、合理推断与未知项分开记录,并区分历史动机和当前测量结果,最终以带出处的方式回答,同时记录查阅过的来源、无结果项以及未检索或不可访问的缺口。它明确不适用于运行时流程讲解;调查过程保持只读,变更前的约束提取也不涉及实施。

编程与开发8 次安装