”Show me all the SSH keys in my workspace.”
The agent lists your keys:list_ssh_keys— returns all SSH keys with metadata
You have 4 SSH keys in your workspace:old-laptop is over a year old. If you no longer use that machine, consider removing it. team-shared uses RSA-2048 — ed25519 is recommended for new keys.
”Which keys can access my running instances right now?”
The agent cross-references keys with instances:list_ssh_keys— gets all workspace keyslist_instances— gets all running instances
All 4 workspace SSH keys are authorized on your 2 running instances:Every key in the workspace can SSH into every instance. If old-laptop is compromised or no longer in use, removing it reduces your attack surface. To remove a key or add a new one, use the SSH Keys page in the dashboard.
”I just set up a new workstation. Walk me through adding its SSH key.”
The agent guides you through the process:list_ssh_keys— shows current keys to avoid duplicates
Here’s how to add your new workstation’s SSH key: Step 1: Generate a key if you don’t have one:Step 2: Copy the public key:Step 3: Add it in the dashboard at SSH Keys — paste the public key and give it a name likeworkstation. Once added, the key is automatically authorized on all current and future instances in this workspace. You currently have 4 other keys — the new one will be number 5.
SSH key creation and deletion are managed through the dashboard. The MCP
list_ssh_keys tool provides read-only access to your key inventory.