This is the fastest and easiest way to get started with TLA+ and TLC.
Additionally, you might want to enable automatic module parsing on saves: https://github.com/tlaplus/vscode-tlaplus/wiki/Automatic-Module-Parsing
The plugin source code can be found on github: https://github.com/tlaplus/vscode-tlaplus