interface between the wala ide server and vscode - View it on GitHub