VSCodeでAlloy
Alloy Analyzerと同じような操作ができる
Alloy - Visual Studio Marketplace
Javaがinstallされている必要がある
入れておいた ref