diff --git a/Casks/tla-plus-toolbox.rb b/Casks/tla-plus-toolbox.rb
index 0e54aa8c0b..fe5519884a 100644
--- a/Casks/tla-plus-toolbox.rb
+++ b/Casks/tla-plus-toolbox.rb
@@ -1,6 +1,6 @@
 cask "tla-plus-toolbox" do
-  version "1.8.0"
-  sha256 "81cd2276215ceda37ca629f30886c82bdce5987133d585d3fcadd47cd3df861e"
+  version "1.7.1"
+  sha256 "78e7d0ecbcba63ef7f13f9f315bfb0365a4f1d952caaa11a0a6f86a1bae5ac99"
 
   url "https://github.com/tlaplus/tlaplus/releases/download/v#{version}/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip",
       verified: "github.com/tlaplus/tlaplus/"
@@ -8,5 +8,10 @@ cask "tla-plus-toolbox" do
   desc "IDE for TLA+"
   homepage "https://lamport.azurewebsites.net/tla/toolbox.html"
 
+  livecheck do
+    url :homepage
+    regex(%r{href=.*?github.com/tlaplus/tlaplus/releases/tag/v?(\d+(?:\.\d+)+)[\s"]}i)
+  end
+
   app "TLA+ Toolbox.app"
 end
diff --git a/audit_exceptions/github_prerelease_allowlist.json b/audit_exceptions/github_prerelease_allowlist.json
index 05c8dee060..6639d08ed9 100644
--- a/audit_exceptions/github_prerelease_allowlist.json
+++ b/audit_exceptions/github_prerelease_allowlist.json
@@ -32,7 +32,6 @@
   "splitshow": "all",
   "steveschow-gfxcardstatus": "all",
   "themeengine": "all",
-  "tla-plus-toolbox": "all",
   "toggl-track": "all",
   "xit": "all"
 }