Skip to main content
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.

Orca

Give each Orca workspace its own machine. A plugin creates, pauses, and deletes the machines.

Paradev

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

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

Add the machine to your 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.
The certificate is short-lived. When the ADE can no longer connect, run instabox ssh-cert dev to refresh the certificate.

SSH

Tokens, port forwarding, and mosh.

Coding agents

Run an agent in a machine from your terminal.