SuperAPI AI 工具集

Skill 广场

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

更新于 11-03 00:11

部署与运维

12,969 个结果

vercel

这是 Vercel 官方 CLI 的命令参考技能,用于在命令行中部署和管理 Vercel 项目。该技能支持安装与验证、登录认证,以及部署(预览、生产、列表、检查、提升、回滚、重新部署)、环境变量管理、域名管理、项目管理、日志查看、团队切换和本地开发等操作,并列出 --json、--token、--scope、--yes、--cwd、--debug 等全局参数。适合在终端或脚本中自动化 Vercel 相关任务。

部署与运维1 次安装

wrangler

Wrangler 是 Cloudflare Workers 的命令行工具,用于管理 Workers、KV、R2、D1、Queues、Secrets 与 Pages 等资源。安装方式为 npm i -g wrangler,可通过 wrangler login 登录、wrangler whoami 查看认证状态。它支持本地开发(wrangler dev)、部署(wrangler deploy)、实时日志(wrangler tail)以及删除 Worker。资源管理涵盖 Secrets 的增删查、KV 命名空间与键值操作、R2 桶与对象操作、D1 SQLite 数据库的创建、执行 SQL 与详情查询,以及 Pages 项目与部署管理。命令行支持 --json、--config、--env、--compatibility-date 等全局标志。

部署与运维1 次安装

netlify

Netlify 是一个用于部署和托管网站的现代 Web 开发平台。该技能面向需要将应用部署到 Netlify 的场景,涵盖函数、表单、重定向和边缘函数等能力。可用于部署静态站点、JAMstack 应用等。文档提供了 CLI 安装与登录、部署命令、项目配置(netlify.toml)、环境变量、无服务器函数、边缘函数、重定向与重写、表单、身份认证、大文件媒体、Blobs 存储以及本地开发等操作示例与代码片段。

部署与运维1 次安装

drupal-config-mgmt

drupal-config-mgmt 是一份面向 Drupal 配置管理的技能指南,覆盖配置导入/导出、Config Split(完整拆分与部分拆分)、跨环境配置同步以及相关 Drush 命令。资料重点提示:远程 Drush 命令可能因托管环境默认 --yes 而自动确认导入,因此强调使用 --no --diff 和 config:get、config:status 等只读命令先做安全检查。文档还给出从生产环境合并配置、保留本地功能配置的 Git 工作流,并解释完整拆分与部分拆分的区别及适用场景。

部署与运维1 次安装

setup

setup 是 agent-formal-verify 插件的共享工具安装技能,用于一次性准备形式化验证所需的完整工具链:Java、Python 3、TLC(tla2tools.jar)、elan、Lean、Rust 与 Kani。它独立于任何代码仓库运行,按仓库当前目标选择 TLA+、Lean 与 Kani 进行验证;全局安装插件时,同一套工具可在多个仓库间复用。该技能会检查操作系统与已有运行时,复用已安装的前置条件和工具缓存,通过用户现有包管理器或上游文档安装器补齐缺失项,并按 scripts/tlc-tools.sh 固定的 TLA+ 版本获取 tla2tools.jar,保存到辅助脚本指定路径(脚本只校验 SHA256,不自行下载)。Kani 需用 Cargo 安装指定版本后再运行 cargo kani setup。技能会检查 java -version 是否成功,若 java 不在 PATH 或 macOS 上解析为桩程序,则把 JAVA 指向可用的 JDK 二进制并报告该设置。最后以形式化验证技能的绝对路径执行 setup.sh 的 rust、tla、lean 三个子命令,要求全部成功退出并输出 READY 行,随后报告工具版本、必要环境设置与仍缺失项。若无可用安装方式或用户未允许安装,则报告缺失的前置条件及其安装说明。

部署与运维1 次安装