SuperAPI AI 工具集

Skill 广场

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

更新于 11-01 00:15

编程与开发

39,080 个结果

create-formal-verification-skill

该技能用于为项目生成一个“形式化验证”本地技能:先在代码库中找出“出错代价最高、测试覆盖最少”的关键部分,选择合适的形式化验证工具,验证其中一条性质,并留下可在后续变更中重复执行的验证技能。它强调验证结果要能失败、要如实报告反例、要说明验证范围与假设,并要求在交接前实际运行一次以确认能捕获破坏。

编程与开发52 次安装

c4-structurizr

C4 Structurizr 是一个用于分析代码库并生成 C4 架构模型的技能。它会针对一个焦点系统产出七个 Structurizr 风格的 C4-PlantUML 图,并使用 Java PlantUML 渲染为 SVG。该技能强调证据支撑:所有元素与关系需可追溯到代码、配置、清单、基础设施文件、测试或既有文档,若证据不足则停止并报告缺失证据,而非凭空编造。工作流包括确定目标项目、读取模型分析参考、盘点人员/系统/容器/组件/外部系统/存储/队列/进程/部署及关系;若发现 AI 工作流证据,还会补充 AI 盘点。随后选择七个视图(含领域特定的动态流与关键路径),在 docs/architecture/structurizr/plantuml 下创建图工作区并复制样式与 C4-PlantUML 资源,生成七个 .puml 文件,通过 render_c4.py 渲染,并验证 SVG 非空白、样式与文字可读、关系与关键路径顺序正确。图源规则要求使用 @startuml/@enduml、指定 C4-PlantUML 入口与 c4-style.puml、使用 SHOW_PERSON_OUTLINE() 与 HIDE_STEREOTYPE()、以 left footer 作标题、按 C4 粒度选用元素类型、为关系添加 OfficialRelationship 标签,并保持既定配色与线型。

编程与开发52 次安装

odoo-best-practices

Odoo 最佳实践是一套面向 Odoo 18-20 版本开发与审查的规范指南,默认采用 Odoo 20.0 约定。内容围绕 Odoo 的核心设计哲学展开,包括“一切皆模块”“数据即程序”“扩展而非修改”“XML ID 作为粘合剂”“约定优于配置”“ORM 既是 API 也是安全边界”等原则。核心规则涵盖:不得修改核心模块,必须通过自定义模块的 _inherit 扩展;新模型需定义 _description 并在 ir.model.access.csv 中配置访问规则;使用 api.onchange 做界面校验、api.constrains 做数据库级约束;自定义模块名需加厂商或项目前缀;__manifest__.py 的 version 需匹配 Odoo 系列;用户可见字符串用 _() 标记以支持翻译;优先使用 mapped、filtered、sorted 等记录集方法;谨慎使用 sudo() 并说明原因;禁止拼接用户输入的 domain,应使用 Domain 对象防止注入;Odoo 20+ 使用 models.Constraint / models.Index 替代旧式 _sql_constraints。该技能还提供按任务领域路由的参考文档,涉及模块架构、外部 API、ORM 模式、视图与 OWL、前端架构、安全与国际化、测试与性能、开发环境及官方文档索引。

编程与开发52 次安装

review-typescript

review-typescript 是一个原子技能(Skill),用于审查 TypeScript 和 JavaScript 代码的语言与运行时约定。它聚焦类型安全与类型系统使用、异步模式与 Promise 处理、错误处理、模块设计、运行时正确性、API 与接口设计,以及性能和内存注意事项。该技能不负责确定审查范围,也不执行安全或架构分析,这些分别由范围技能和认知技能处理。它以标准格式输出调查结果列表以供聚合,每条结果包含位置、类别(语言 TypeScript)、严重性、标题、描述和可选建议,所有发现均引用具体文件、行或符号名称。

编程与开发52 次安装