diff --git a/flake.lock b/flake.lock
index 7b9881771..73ce512fb 100644
--- a/flake.lock
+++ b/flake.lock
@@ -84,11 +84,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1775636079,
-        "narHash": "sha256-pc20NRoMdiar8oPQceQT47UUZMBTiMdUuWrYu2obUP0=",
+        "lastModified": 1780220602,
+        "narHash": "sha256-eynAfOmbmxJnkp7YewvCEbShNnnYJ9gLLqkzsYtBPeM=",
         "owner": "numtide",
         "repo": "treefmt-nix",
-        "rev": "790751ff7fd3801feeaf96d7dc416a8d581265ba",
+        "rev": "db947814a175b7ca6ded66e21383d938df01c227",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 13c4857bc..0ac1ff34b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -48,6 +48,13 @@
             llvmPackages.libclang
             # system dependency for openshell-prover
             z3
+            # mise dependencies
+            mise
+            cmakeMinimal
+            zlib
+            openssl_3_5
+            xz
+            gh
           ];
 
           env = {