exedev-ctl
Manage exe.dev virtual machines with the exedev-ctl CLI installed from GitHub Releases. Use when Codex needs to help third-party users install exedev-ctl, inspect, create, delete, restart, rename, tag, resize, SSH into, share, or troubleshoot VMs on exe.dev; generate or check EXE_DEV_API_KEY permissions; or run raw exe.dev commands.
소스 정보
- 저장소
- lollipopkit/exedev-cli
- 최근 소스 활동
- 2026년 7월 10일 10:29
- 감지된 SKILL.md 언어
- 영어
- 스타
- 6
- 포크
- 0
설치 방법
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
소스 파일 검토
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
파일 탐색기
3 개 파일SKILL.md 표시 중
SKILL.md
소스 지침 · 읽기 전용 미리보기- name
- exedev-ctl
- description
- Manage exe.dev virtual machines with the exedev-ctl CLI installed from GitHub Releases. Use when Codex needs to help third-party users install exedev-ctl, inspect, create, delete, restart, rename, tag, resize, SSH into, share, or troubleshoot VMs on exe.dev; generate or check EXE_DEV_API_KEY permissions; or run raw exe.dev commands.
# exedev-ctl
## Core Workflow
Use the installed `exedev-ctl` binary for exe.dev VM lifecycle and account-level operations:
```sh
exedev-ctl --help
exedev-ctl ls
```
For installation or platform-specific archive names, read `references/exedev-ctl.md`. Do not recommend `cargo run` to third-party users unless the user is explicitly maintaining the source repository.
## Install First
If `exedev-ctl` is not installed, direct users to the latest GitHub Release:
```sh
https://github.com/lollipopkit/exedev-cli/releases/latest
```
Release archives are named `exedev-clis-<tag>-<platform>.tar.gz` and include both the `exedev-ctl` and `exedev-k8s` binaries; archive member names carry a `./` prefix (extract with `./exedev-ctl`).
## Before Acting
Check the current environment and scope before proposing changes:
- Verify `EXE_DEV_API_KEY` is present for HTTPS `/exec` operations.
- Use `exedev-ctl --json ls` to inspect current VMs.
- Treat destructive VM actions as high risk. Require explicit confirmation before `rm`, bulk deletion, or operations that could lose disk state unless the user already asked for that exact action.
- When a token returns `403`, inspect token permissions before assuming a VM or CLI bug.
- When `/exec` returns `422`, surface the exe.dev command failure body.
## Command Selection
Use typed wrappers for supported commands: `help`, `doc`, `ls`, `new`, `rm`, `restart`, `rename`, `tag`, `comment`, `stat`, `cp`, `resize`, `share`, `domain`, `team`, `invite`, `whoami`, `ssh-key`, `set-region`, `integrations`, `billing`, `shelley`, `browser`, `ssh`, and `grant-support-root`.
Use `exec -- <command>` only for raw exe.dev commands that do not yet have a typed wrapper.
Use `--json` when output must be parsed, compared, or included in automation.
## SSH and API Boundary
`exedev-ctl` uses local SSH by default. It can use `POST https://exe.dev/exec` when the user passes `--transport http`; that mode requires `EXE_DEV_API_KEY`.
The HTTPS endpoint has no stdin or pty, so these commands always use local SSH even with `--transport http`:
- `exedev-ctl ssh ...`
- `exedev-ctl new --prompt /dev/stdin`
- `exedev-ctl new --setup-script /dev/stdin`
For streamed scripts or interactive VM work, prefer direct VM SSH such as `ssh <vm>.exe.xyz ...` when the repo evidence shows it is the reliable path.
## More Detail
Read `references/exedev-ctl.md` when you need concrete command examples, token-generation guidance, error triage, or repo-specific checks.
GitHub에서 보기