Hey everyone, maker here.
Wanted to share the call we had to make early on, in case it's useful to anyone weighing the same trade-off.
The default playbook for "drive your IDE from anywhere" is move the IDE to the cloud. There are great products doing this. We picked a different shape: keep the IDE on your laptop, run a thin extension that opens a WebSocket to a relay, then let the mobile app and web client join that same room. Code never leaves your machine. The relay forwards typed messages and nothing else.
The trade-off is real: