diff --git a/scripts/setup.sh b/scripts/setup.sh
index 53280b8..3954971 100644
--- a/scripts/setup.sh
+++ b/scripts/setup.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -euxo pipefail
 
 # run from project root
 
diff --git a/scripts/setup_mathlib.sh b/scripts/setup_mathlib.sh
index 5ce830f..675c8b7 100644
--- a/scripts/setup_mathlib.sh
+++ b/scripts/setup_mathlib.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -euxo pipefail
 
 # run from project root
 
diff --git a/scripts/setup_miniF2F.sh b/scripts/setup_miniF2F.sh
index 4dae135..da0dcf9 100644
--- a/scripts/setup_miniF2F.sh
+++ b/scripts/setup_miniF2F.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -euxo pipefail
 
 # run from project root