Currently they share browser context. Adding isolated profiles is a good idea. Do you often use multiple agents in a single project and have them both work on different pages? I personally use multiple checkouts, and the problem for me is that agents working in the same project want to spin up the same dev server. And the dev servers will conflict unless I make different instances of the same project listen in their own port ranges (perhaps via a PORT env var).
We want to solve the latter by bringing better SSH support where the WebView will proxy directly to a remote machine or Docker container, so different workspaces in the vertical tabs can talk to their corresponding dev servers. But I want to hear more about your use case.
Also want some feedback on how we should implement it. Could make it a CLI command that opens a new vertical tab/workspace:
cmux ssh <host>
Or maybe a configurable dropdown next to the plus button.Ideally when I open a new workspace, it opens in the context of that SSH session. So new splits open as new shells, claude's messages proxy through, etc etc.
Feel free to send me an email at stefan@hellointerview.com if you want to discuss. Love the problem you're trying to solve here.