Varphi also has an official Visual Studio extension available on the Visual Studio Marketplace. You can use this extension to run and step through Varphi programs from within the Visual Studio Code IDE in a more graphical format. The only prerequisites are
Visual Studio Code (version 1.94 or newer)
Complete documentation on this extension is available .