diff --git a/requirements.txt b/requirements.txt
new file mode 100644
index 000000000..3373e34c4
--- /dev/null
+++ b/requirements.txt
@@ -0,0 +1 @@
+certora-cli==3.0.0