docs

Sign in

One Page · docs.md

1. Introduction

What is exe.dev? Why EXE? Pricing

2. Features

exe.dev HTTP Proxies Sharing Custom Domains Login with exe API

3. Shelley

What is Shelley? AGENTS.md Upgrading Shelley

4. FAQ

What is the host key for exe.dev? How do I use a specific SSH key for exe.dev? How do I connect VSCode to my VM? How do I copy files to/from my VM? Can I run docker images? How do you pronounce "exe"? How do I access GitHub? How do I set up a minimal GitHub token? How does exe.dev work? ssh exe.dev sometimes asks me to register

5. Use Cases

Intro Running Agents Running a self-hosted GitHub Actions Runner Spinning up a Marimo Notebook

6. Editorials

Persistent disks, not serverless Put your agent in a VM and let it be The GUTS Stack

7. Other

Help & Community Privacy Notice Terms of Service

8. CLI Reference

help doc ls new rm restart share whoami ssh-key shelley ssh browser rename exit

← All docs

rm

rm

Delete a VM

Usage

rm <vmname>...

Options

--json: output in JSON format