Add SE3K to a workspace to get started

Whoever installs it is signed in automatically — no separate login step.