diff --git a/certora/confs/AccrueInterest.conf b/certora/confs/AccrueInterest.conf
index 8d4706d1..dd3988aa 100644
--- a/certora/confs/AccrueInterest.conf
+++ b/certora/confs/AccrueInterest.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol"
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoHarness:certora/specs/AccrueInterest.spec",
diff --git a/certora/confs/AssetsAccounting.conf b/certora/confs/AssetsAccounting.conf
index 765e597b..7baa555a 100644
--- a/certora/confs/AssetsAccounting.conf
+++ b/certora/confs/AssetsAccounting.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol"
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoHarness:certora/specs/AssetsAccounting.spec",
diff --git a/certora/confs/ConsistentState.conf b/certora/confs/ConsistentState.conf
index 8e7cdaca..b81daf37 100644
--- a/certora/confs/ConsistentState.conf
+++ b/certora/confs/ConsistentState.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol"
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoHarness:certora/specs/ConsistentState.spec",
diff --git a/certora/confs/ExactMath.conf b/certora/confs/ExactMath.conf
index 2894ce6e..a71d8362 100644
--- a/certora/confs/ExactMath.conf
+++ b/certora/confs/ExactMath.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol"
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoHarness:certora/specs/ExactMath.spec",
diff --git a/certora/confs/ExchangeRate.conf b/certora/confs/ExchangeRate.conf
index 2c6efcc2..60b36da3 100644
--- a/certora/confs/ExchangeRate.conf
+++ b/certora/confs/ExchangeRate.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol"
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoHarness:certora/specs/ExchangeRate.spec",
diff --git a/certora/confs/Health.conf b/certora/confs/Health.conf
index e052dfcf..8ffcf366 100644
--- a/certora/confs/Health.conf
+++ b/certora/confs/Health.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol",
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol",
     "src/mocks/OracleMock.sol"
   ],
   "solc": "solc-0.8.19",
diff --git a/certora/confs/LibSummary.conf b/certora/confs/LibSummary.conf
index 61414e22..b32a4310 100644
--- a/certora/confs/LibSummary.conf
+++ b/certora/confs/LibSummary.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol"
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoHarness:certora/specs/LibSummary.spec",
diff --git a/certora/confs/Liveness.conf b/certora/confs/Liveness.conf
index 5c438af5..c5f61f06 100644
--- a/certora/confs/Liveness.conf
+++ b/certora/confs/Liveness.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoInternalAccess.sol",
-    "certora/harness/Util.sol"
+    "certora/helpers/MorphoInternalAccess.sol",
+    "certora/helpers/Util.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoInternalAccess:certora/specs/Liveness.spec",
diff --git a/certora/confs/Reentrancy.conf b/certora/confs/Reentrancy.conf
index 6dbec607..c71dd623 100644
--- a/certora/confs/Reentrancy.conf
+++ b/certora/confs/Reentrancy.conf
@@ -1,6 +1,6 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol"
+    "certora/helpers/MorphoHarness.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoHarness:certora/specs/Reentrancy.spec",
diff --git a/certora/confs/Reverts.conf b/certora/confs/Reverts.conf
index a54d3bfd..b4aba15d 100644
--- a/certora/confs/Reverts.conf
+++ b/certora/confs/Reverts.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol"
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol"
   ],
   "solc": "solc-0.8.19",
   "verify": "MorphoHarness:certora/specs/Reverts.spec",
diff --git a/certora/confs/StayHealthy.conf b/certora/confs/StayHealthy.conf
index dc605cf1..05d82fa3 100644
--- a/certora/confs/StayHealthy.conf
+++ b/certora/confs/StayHealthy.conf
@@ -1,7 +1,7 @@
 {
   "files": [
-    "certora/harness/MorphoHarness.sol",
-    "certora/harness/Util.sol",
+    "certora/helpers/MorphoHarness.sol",
+    "certora/helpers/Util.sol",
     "src/mocks/OracleMock.sol"
   ],
   "solc": "solc-0.8.19",
diff --git a/certora/confs/Transfer.conf b/certora/confs/Transfer.conf
index 632ee90c..321b7c55 100644
--- a/certora/confs/Transfer.conf
+++ b/certora/confs/Transfer.conf
@@ -1,6 +1,6 @@
 {
   "files": [
-    "certora/harness/TransferHarness.sol",
+    "certora/helpers/TransferHarness.sol",
     "certora/dispatch/ERC20Standard.sol",
     "certora/dispatch/ERC20USDT.sol",
     "certora/dispatch/ERC20NoRevert.sol"
diff --git a/certora/harness/MorphoHarness.sol b/certora/helpers/MorphoHarness.sol
similarity index 100%
rename from certora/harness/MorphoHarness.sol
rename to certora/helpers/MorphoHarness.sol
diff --git a/certora/harness/MorphoInternalAccess.sol b/certora/helpers/MorphoInternalAccess.sol
similarity index 100%
rename from certora/harness/MorphoInternalAccess.sol
rename to certora/helpers/MorphoInternalAccess.sol
diff --git a/certora/harness/TransferHarness.sol b/certora/helpers/TransferHarness.sol
similarity index 100%
rename from certora/harness/TransferHarness.sol
rename to certora/helpers/TransferHarness.sol
diff --git a/certora/harness/Util.sol b/certora/helpers/Util.sol
similarity index 100%
rename from certora/harness/Util.sol
rename to certora/helpers/Util.sol