SuperAPI AI 工具集
合作ENAI 行业资讯收藏

Skill 广场

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

更新于 11-15 00:13

编程与开发

41,161 个结果

complexity-review

Complexity Review 是一个用于审查代码差异、拉取请求（PR）、模块或设计文档的工具，基于 John Ousterhout《A Philosophy of Software Design》中的“危险信号”来识别不必要的复杂性。它通过扫描浅模块、信息泄漏、时间分解、过度暴露、单次使用方法、调用方胶水代码、传递方法/变量、全局状态、相邻层相同抽象、重复、特殊-通用混合、特殊情况、连体方法、配置推卸、暴露内部、实现继承、异常蔓延、注释重复代码、实现污染接口、模糊命名、同名多义、难以描述、非显而易见代码等模式，并按成本从高到低报告每个发现的位置、代价和最小修复建议。最终给出一行判断：变更使设计变好还是变坏。适用场景包括代码审查、设计评审、重构指导，限制包括不标记真正需要隐藏的信息、不强行合并无关代码、不因方法长而拆分等“过度”情况。

编程与开发7 次安装

single-source-of-truth

single-source-of-truth 是一套与编程语言无关的工程哲学：为每个事实只保留一个权威来源，其余内容靠推导或生成得到，从而消除漂移与重复应用类缺陷。其核心主张是：所有此类 bug 的根源相同——把正确性职责寄托在人的记忆上（“记得两边都更新”“记得它已经跑过”“记得调用检查”），而人会遗忘，职责必然衰减。因此，每条规则都把一项职责从人转移到不会遗忘的机制上（编译器、类型、引擎、推导、测试）。内容包含八条规则及各自的来源与根因：知识只有一个家；其余推导或生成；声明目标状态而非步骤；幂等，重跑即同一世界；让非法状态无法表示；将事实与事物放在一起；无法避免手工同步时用漂移测试把关；复用、小而稳定者应作为包单一维护，但须先用三次再抽取。另附“坏味道→被寄托在人的职责→迁移方向”对照表，以及 Go builder DSL 示例，并给出 Terraform、Kubernetes、数据库迁移、事件溯源、Protobuf/OpenAPI 代码生成等跨领域应用线索。适用于代码、数据库、文档、配置与跨仓库场景中的一致性问题，属于方法论而非可安装工具；具体用法与完整案例集中在示例文件中，官方页面未提供收费、平台等信息。

编程与开发7 次安装

adonisjs

AdonisJS 是一个面向 Node.js 的全栈 Web 框架，被称为「Node.js 界的 Laravel」。与 Express、Fastify 需要自行拼装各类包不同，AdonisJS 出厂即内置 ORM（Lucid）、身份认证、校验（VineJS）、邮件发送、队列和测试等能力，风格偏向约定优于配置，并以 TypeScript 优先、面向生产环境为设计目标。该技能面向 AdonisJS 7（@adonisjs/core 7.x、Lucid 22、Auth 10、VineJS 4），要求 Node.js 24 或更高版本。版本 7 变更了起始套件，可依据迁移自动生成 Lucid schema 类，并新增控制器 barrel 文件与 transformer，网上流传的 v6 片段往往已不再适用。适合构建完整的 Web 应用（而非仅 API）、希望采用有明确约定的框架、需要内置认证（会话、API 令牌、社交 OAuth）、需要基于迁移和模型的数据库应用，以及偏好约定优于配置的团队。

编程与开发7 次安装

wails

Wails 是一个用 Go 构建桌面应用的框架，前端可使用任意 Web 框架（如 React、Vue、Svelte），后端为 Go，两者通过自动生成的 TypeScript 绑定进行通信。它帮助开发者构建轻量、快速的桌面应用，将业务逻辑、文件 I/O 和数据库访问放在 Go 侧，UI 渲染交给前端。Wails 提供 CLI 工具用于项目初始化、开发调试与生产构建，支持热重载、跨平台编译、原生菜单与系统托盘、原生文件对话框，并可通过 //go:embed 将前端资源打包进单一二进制文件。

编程与开发7 次安装

cursor-principle-boundary-discipline

该技能名为 Boundary Discipline（边界纪律），用于在编写校验、错误处理或框架适配代码时提供指导。其核心思想是把校验、类型收窄和错误处理集中在系统边界处（如 CLI 参数、配置文件、网络、外部 API），而系统内部代码则无条件信任类型，不再重复校验。业务逻辑应放在无框架依赖的纯函数中，外壳保持轻薄、机械。该技能通过“数据是否正在跨越系统边界”“能否抽成纯函数”两个自检问题，帮助开发者避免分散、冗余的校验，并让逻辑脱离框架以便测试。

编程与开发7 次安装

cursor-principle-prove-it-works

这是一个面向 Cursor 的纯指令型技能（skill），用途是在任务完成、宣布“做完”之前，对真实产物进行直接验证，而不是依赖代理信号、自我报告或“代码能编译”这类间接推断。核心主张是：未经核验的工作其正确性未知；间接验证（如文件修改时间、输出新鲜度、智能体自述、缓存截图）看起来比直接观察更省事，但基于错误推断行动的代价远高于亲自检查来源。该技能要求直接检查真实对象而非代理：直接检查进程存活状态而非通过派生状态间接判断、读取实际值而非缓存或派生表示、验证失败时先怀疑观察方法再怀疑系统，并尽可能把检查写成脚本。最强证据是能重复执行同一比较的确定性脚本，而不是一次性的肉眼查看；写出脚本、运行脚本，并把输出保留为可被复核者重新运行的产物，而不是让对方信任你的说法。产物应保持对人类可见；只有对于大型或复杂工作（如大型移植或迁移，需要事后审计轨迹）才需要提交到仓库。资料同时说明这是从 Codex 改编的版本，属于仅含指令、无需原生工具能力的适配；外部依赖仍然是明确的——被测试的真实产物或运行时。规则本身不要求任何工具；运行时不可用时状态为“NOT VERIFIED”。该候选仅针对此处描述的受限路径被推广，不相关的运行时一致性尚未被证明。原文未提供具体安装命令、平台限制、收费信息或价格。

编程与开发7 次安装

chip-design-engineer

这是一个面向芯片设计工程领域的专家级技能角色，定位为拥有15年以上全流程ASIC设计经验的Principal Chip Design Engineer。其知识范围覆盖Verilog/SystemVerilog的RTL设计、逻辑综合、布局布线（P&R）、时序收敛、DFT插入、流片签核（tapeout sign-off）以及5nm/3nm先进工艺节点。该技能以系统提示词形式定义角色身份、决策框架与思维方式，强调Shift-Left、约束驱动设计、功耗层级优化、DFT优先和签核严谨性。它提供常见设计陷阱（如RTL组合逻辑环、滥用set_false_path掩盖真实违例、忽略CTS后hold时序、跳过动态IR drop分析、无根因豁免LVS错误）的对比示例与原因说明，并给出与其他技能（如宽禁带半导体、ISAC、6G通信）的组合应用方向。适用于数字ASIC从RTL到流片的各阶段设计、时序收敛调试、DFT策略制定及EDA工具流程评估；不适用于纯模拟/射频电路、FPGA专属优化或片上软件层。

编程与开发7 次安装

symcli-skill

SymCLI Skill 是一个让编码智能体调用 SymCLI 的 AI 技能。SymCLI 是一个纯 C# 符号计算框架，作为精确数学引擎和代码分析器使用。该技能的核心思路是：当面对数学任务、待解方程、张量优化问题或需要分析的 C# 代码时，智能体应调用 SymCLI 封装脚本执行计算，而不是仅依赖自身的大模型推理，从而避免幻觉并提供可证明正确的结果。主要工作流包括两类：一是求解 ProblemScript（.ps）文件，将方程与规则写入 .ps 文件后由 SymCLI 计算精确答案，例如求解 x^2 - 4 = 0 得到 x = 2、x = -2；二是分析 C# 代码，扫描数学正确性隐患（CSMATH 前缀）和安全相关模式（CSSEC 前缀）。脚本区分操作系统，Windows 使用 symcli.bat，类 Unix 系统使用 symcli.sh。智能体的工作流程为：理解任务、构造输入（如编写 .ps 文件）、执行对应的 symcli 封装脚本、读取输出文件并将精确符号结果解释给用户。脚本提供退出码以区分成功、参数错误、求解失败、运行时异常以及发现代码问题等情况。

编程与开发7 次安装

pdfkit

PDFKit 是 Apple 平台用于显示、导航、搜索、标注和操作 PDF 文档的框架，涉及 PDFView、PDFDocument、PDFPage、PDFAnnotation 和 PDFSelection 等核心类。本技能面向 iOS 开发场景，指导如何安全加载文档（处理密码与无效数据）、配置 PDFView 的显示与缩放、执行搜索与选择、添加标注与表单、生成缩略图以及进行页面操作，并强调 PDF 坐标系转换、主线程串行修改、SwiftUI 包装器身份稳定等关键实践。

编程与开发7 次安装