Remote Credentials

Manage SSH credentials for accessing remote systems (HPC clusters, cloud instances, personal servers)

New Remote Credential

Paste SSH Config Block

Paste a block from your ~/.ssh/config file. Fields will be auto-filled below.

Name*

A friendly name to identify this remote system

SSH Host*

Hostname or IP address of the remote system

SSH Port

SSH port (default: 22)

SSH Username*

Your username on the remote system

SSH Public Key*

Paste your SSH public key (id_rsa.pub). The corresponding private key must be placed at the location shown after creation.

Saved Credentials

🌐

No remote credentials yet

Add a credential to connect to HPC clusters, cloud instances, or personal servers

About Remote Credentials

Remote credentials allow you to create projects that mount remote filesystems via SSH. This provides TRAMP-like access to files on HPC clusters, cloud servers, or personal machines without storing data locally.

Files are accessed on-demand via SSHFS (no local copy)
Automatic mount/unmount for privacy
No Git support on remote projects (prevents confusion)
Slower than local projects but privacy-preserving