diff --git a/.verify-helper/config.toml b/.verify-helper/config.toml
new file mode 100644
index 0000000..d84bea7
--- /dev/null
+++ b/.verify-helper/config.toml
@@ -0,0 +1,14 @@
+[[languages.cpp.environments]]
+CXX = "g++"
+CXXFLAGS = [
+	"-O2",
+	"-fsanitize=address,undefined",
+	"-fno-sanitize-recover=all",
+	"-std=c++17",
+	"-D_GLIBCXX_DEBUG",
+	"-D_GLIBCXX_SANITIZE_VECTOR",
+	"-D_GLIBCXX_DEBUG_PEDANTIC",
+	"-D_GLIBCXX_ASSERTIONS",
+	"-fstack-protector",
+	"-D_FORTIFY_SOURCE=2",
+]
diff --git a/.verify-helper/timestamps.remote.json b/.verify-helper/timestamps.remote.json
deleted file mode 100644
index a02310b..0000000
--- a/.verify-helper/timestamps.remote.json
+++ /dev/null
@@ -1,14 +0,0 @@
-{
-"tests/data-structures/BIT.test.cpp": "2022-09-08 09:21:40 -0400",
-"tests/data-structures/DSU.test.cpp": "2022-04-17 23:48:10 -0400",
-"tests/data-structures/DSURestorable.test.cpp": "2022-04-17 23:48:10 -0400",
-"tests/data-structures/RMQ.test.cpp": "2022-11-28 15:06:39 -0500",
-"tests/data-structures/RMQLambda.test.cpp": "2022-11-28 15:06:39 -0500",
-"tests/graphs/Blossom.test.cpp": "2022-11-28 15:06:39 -0500",
-"tests/graphs/DominatorTree.test.cpp": "2023-02-24 01:41:16 -0500",
-"tests/graphs/LCA.test.cpp": "2022-11-28 15:06:39 -0500",
-"tests/graphs/TreeLiftingKth.test.cpp": "2022-11-28 15:06:39 -0500",
-"tests/graphs/TreeLiftingLCA.test.cpp": "2022-11-28 15:06:39 -0500",
-"tests/graphs/TwoVertexCCs.test.cpp": "2022-11-28 15:06:39 -0500",
-"tests/number-theory/MultiplicativePrefix.test.cpp": "2022-11-28 15:06:39 -0500"
-}
\ No newline at end of file