Endpoint: wss://ssh.nvlit.asia (TCP 443). SSH user: leco.
Windows x64 setup (PowerShell)
Download and run the setup script, then authorize your Windows SSH public key on leco.
ssh leco-https "hostname; whoami"
Host key ED25519: SHA256:luTnB0Oa8ryoToSBppb2M9xKM2NMDmzg2F2JeBMhors
Only SSH to leco is allowed. SSH authentication is required.