> ## Documentation Index
> Fetch the complete documentation index at: https://instabox.sh/docs/llms.txt
> Use this file to discover all available pages before exploring further.

# ADEs

> Run an agentic development environment on a machine instead of your laptop.

An agentic development environment (ADE) is a desktop app for running coding agents. At the end of
this page, your ADE works in an instabox machine, so its agents run there and not on your laptop.

> [card] [Orca](https://instabox.sh/docs/use-cases/ade/orca.md)
>
> Give each Orca workspace its own machine. A plugin creates, pauses, and deletes the machines.

> [card] [Paradev](https://instabox.sh/docs/use-cases/ade/paradev.md)
>
> Add a machine as a Paradev host with its SSH URI.

## Connect any ADE that supports SSH

For an ADE without an instabox plugin, add the machine to your SSH config. The ADE then lists it as a
host.

**1. Create the machine**

```bash theme={null}
instabox create --name dev
```

The command waits until the machine runs, then prints its row as `instabox ls` shows it.

**2. Add the machine to your SSH config**

```bash theme={null}
instabox ssh-config dev >> ~/.ssh/config
```

The command adds a `Host` block and creates the certificate that the block uses. To check it, run
`ssh` with the `Host` name from the block. You get a shell in the machine.

**3. Connect from the ADE**

In the ADE's remote or SSH settings, pick the `Host` name from the block.

> [!NOTE]
>
> The certificate is short-lived. When the ADE can no longer connect, run `instabox ssh-cert dev` to
> refresh the certificate.

> [card] [SSH](https://instabox.sh/docs/access/ssh.md)
>
> Tokens, port forwarding, and mosh.

> [card] [Coding agents](https://instabox.sh/docs/use-cases/coding-agents.md)
>
> Run an agent in a machine from your terminal.