diff --git a/certora/gambit.conf b/certora/gambit.conf
new file mode 100644
index 000000000..fe0dd6f3f
--- /dev/null
+++ b/certora/gambit.conf
@@ -0,0 +1,7 @@
+ {
+      "filename" : "src/Morpho.sol",
+      "solc": "solc8.19",
+      "sourceroot": "..",
+      "num_mutants": 15,
+      "solc_remappings": []
+}