菜单
Use when the user wants to add or remove a plugin schema dependency in an existing formae project's PklProject — e.g. 'add the grafana plugin', 'I need cloudflare DNS', 'drop the azure dependency'.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
Use when the user wants to add support for a new resource type to an existing formae plugin
Use when the user wants to check for infrastructure drift, see what changed out-of-band, or absorb/overwrite out-of-band changes into their IaC codebase
Use when the user wants to bring unmanaged/discovered resources under formae management, import resources into their IaC codebase, or absorb cloud resources into existing forma files
Use when the user wants to rename a managed resource, relabel a resource, change a resource's label, or give a discovery-named resource a readable name — a rename on its own never destroys or recreates the cloud object
Use when the user wants to deploy infrastructure, apply a forma file, reconcile a stack, update a stack, or make planned infrastructure changes
Use when the user wants to start authoring formae infrastructure or deploy something NEW with formae — e.g. 'I want to deploy X with formae', 'build a k8s app with formae', 'set up infrastructure for Y', 'create a new forma file for my service', 'write formae IaC for Z'. The front door that triages where the work happens, sets up plugin schema deps, and dispatches to focused authoring skills. NOT for applying an existing forma file (use formae-apply) or operating existing infra.
| name | formae-deps |
| description | Use when the user wants to add or remove a plugin schema dependency in an existing formae project's PklProject — e.g. 'add the grafana plugin', 'I need cloudflare DNS', 'drop the azure dependency'. |
Use this skill to add or remove plugin schema dependencies in an existing formae project's PklProject file. This is authoring-only — schema packages provide PKL types and IDE completion. They do not install resource plugins on the agent and do not make infrastructure changes.
PklProjectFind the PklProject file in the current working directory or the path stated by the user. If it cannot be found, tell the user and stop — this skill requires an existing formae project. (If they need to create one from scratch, the formae-project-init skill applies.)
Use get_hub_plugin to look up the plugin by name. If the plugin name is ambiguous or unknown, use search_hub_plugins first to find candidates and present them to the user for confirmation.
From the resolved plugin record, extract the latest stable version.
Trust gate. Check the originatorVerified field. If it is false, surface the originator domain explicitly to the user and ask for confirmation before proceeding. Do not silently add an unverified package.
Add the following block inside the dependencies section of PklProject:
["<name>"] {
uri = "package://hub.platform.engineering/plugins/<name>/schema/pkl/<name>/<name>@<version>"
}
For example, for grafana at version 0.1.3:
["grafana"] {
uri = "package://hub.platform.engineering/plugins/grafana/schema/pkl/grafana/grafana@0.1.3"
}
Read the file first, then apply the edit. Show the diff to the user before proceeding.
After editing PklProject, the lockfile PklProject.deps.json must be updated. This is a PKL command — formae has no project resolve subcommand (formae project only has init). Show it to the user before running it, from the directory containing PklProject:
pkl project resolve
When pulling examples for the plugin just added, pass the version pinned in PklProject (the @<version> suffix from the dependency uri) as the version argument to list_plugin_examples or get_plugin_example. Do not omit it — the tool's latestStable default may not match the version you just pinned.
Read PklProject, find the dependency block for the named plugin, and delete it. Show the diff to the user.
Dangling import check. Before confirming the removal, search all .pkl files in the project for import "@<name>/ (and amends "@<name>/). If any match is found, warn the user that removing the dependency will leave dangling imports that will cause resolution errors. List the affected files and ask whether to proceed anyway. Do not automatically remove the imports — that is the user's decision.
After deleting from PklProject, run pkl project resolve (see Step 2c) to update the lockfile.
This skill manages schema packages only. Schema packages provide PKL types for authoring and formae eval. They do not install resource plugins on the agent.
If the user actually needs the resource plugin to run (i.e., to execute apply against real infrastructure), that is an agent-side install that is out of scope for this skill. Point the user to the formae-plugin-new skill or to docs.formae.io for agent plugin installation instructions.
formae root, and makes no changes to the agent or running infrastructure.originatorVerified is false, surface the originator domain and get explicit user confirmation before adding the dependency.pkl project resolve to update PklProject.deps.json — formae project resolve does not exist (formae project only has init). Show the command before running it..pkl files before confirming a dependency removal.