diff --git a/.devcontainer/install.sh b/.devcontainer/install.sh
index b1b70b10..0cccca5d 100644
--- a/.devcontainer/install.sh
+++ b/.devcontainer/install.sh
@@ -40,6 +40,13 @@ echo 'export PATH=$PATH:/workspace/Examples/tools/tlaps/bin:/workspaces/Examples
 ## Install Apalache
 wget -qN https://github.com/informalsystems/apalache/releases/latest/download/apalache.tgz -P /tmp
 mkdir -p tools/
-tar xvfz /tmp/apalache.tgz --directory tools/
+tar -xvfz /tmp/apalache.tgz --directory tools/
 echo 'export PATH=$PATH:/workspace/Examples/tools/apalache/bin:/workspaces/Examples/tools/apalache/bin' >> $HOME/.bashrc
-tools/apalache/bin/apalache-mc config --enable-stats=true
\ No newline at end of file
+tools/apalache/bin/apalache-mc config --enable-stats=true
+
+## Install TLAUC
+wget -qN https://github.com/tlaplus-community/tlauc/releases/latest/download/tlauc-linux.tar.gz -P /tmp
+mkdir -p tools/tlauc
+tar -xvfz /tmp/tlauc-linux.tar.gz --directory tools/tlauc/
+echo 'export PATH=$PATH:/workspace/Examples/tools/tlauc:/workspaces/Examples/tools/tlauc' >> $HOME/.bashrc
+