diff --git a/solarkraft/.devcontainer/devcontainer.json b/solarkraft/.devcontainer/devcontainer.json
index 4e663547..d12ba28e 100644
--- a/solarkraft/.devcontainer/devcontainer.json
+++ b/solarkraft/.devcontainer/devcontainer.json
@@ -15,6 +15,7 @@
 	"customizations": {
 		"vscode": {
 			"extensions": [
+				"alygin.vscode-tlaplus",
 				"vscodevim.vim"
 			],
 			"settings": {