pull
Retrieve a package by id to install it with dependencies into ./.exchange, or inspect its description and files before installing by specifying a path.
Instructions
Get a package by id: "type/name", or "type/name@1.2.0" for a specific version (default: latest). Without path: installs the package and its dependencies into ./.exchange/ in your working directory and returns the folder. You need file access to read it. With path: installs nothing. path "." returns the package's description and file list; path "SKILL.md" (any file name from that list) returns that file's text. Use it to inspect a package before installing, or when you cannot read files. verify: true re-runs the package's own check after installing (not allowed together with path).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | Package id, e.g. "lemma/abelian-comm" or "lemma/abelian-comm@1.0.0" | |
| path | No | "." to list files, or a file name to read it. Omit to install. | |
| verify | No | Re-run the package's check after installing |