SuperAPI AI 工具集

Skill 广场

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

更新于 11-05 00:16

智能体与模型

25,657 个结果

generate-media

generate-media 是 Picsart 生成式 AI 技能库中的一项媒体生成与图片编辑技能,用于根据提示词生成图片、视频、配音、音效或歌曲,或对图片进行去背景、换背景、增强放大、矢量化等编辑。它按“需求确认、素材转 URL、模型与参数选择、报价、执行、展示”的分阶段流程运行:先弄清要做什么及起点素材,把本地文件、附件或 Picsart Drive 中的文件统一转为可访问的 URL,再选择模型并设置参数;生成和编辑均消耗积分,需先用预检工具估价并在用户确认后执行。生成任务返回作业,通过作业状态工具跟踪进度,结果可按需保存至用户 Drive。模型查询、参数查询、价格与余额查询、Drive 浏览等不产生费用的问答可直接回答。

智能体与模型6 次安装

yoneda-directed

Directed Yoneda(有向米田引理)是 Riehl 与 Shulman 为合成 ∞-范畴所提出的关键洞察,把标准同伦类型论(HoTT)中的路径归纳推广为“有向路径归纳”。在标准 HoTT 中,路径归纳允许我们为证明关于从点 a 出发的所有路径成立的性质,只需证明自反路径的情形;在有向 HoTT 中,这一原理被推广为依赖米田引理:要证明关于 Segal 类型 A 中所有 x 及所有态射 f : hom A a x 的性质 P(x, f),只需给出基点上的证明 base : P(a, id_a)。该技能可作为验证器(Validator,-1 极性),用来检查性质沿态射传播是否正确、单位元处的基例是否足够,以及归纳原理是否可靠。资料以 Rzk 语言给出核心定义,并附带化学(Chemputer)语义的类比解释与 GF(3) 三元组关系。

智能体与模型6 次安装