VDM VSCode can work with VS Code Live Share.

It effectively streams a hosts workspace, i.e., files found in a given project to a number of "guests". The guests can then interact with these files together with the host in real-time and changes are propagated to the host's files.

Restrictions

As the sharing functionality only supports standard LSP and DAP and only project files are shared, extended functionality like combinatorial testing and proof obligation generation is only available to the host. An issue has been opened years ago for Microsoft to look at. However, not much if anything has happened to support custom/extended LSP messages. We will keep an eye out if this changes at some point, but this means that only standard LSP and DAP functionality are available when utilising Live Share, i.e., editorial features and debugging.

Please notify us on this issue if you have information about this that we are not aware of.