diff --git a/Cargo.lock b/Cargo.lock
index ff6431588f11..08bb5221cdd0 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -249,15 +249,15 @@ dependencies = [
 
 [[package]]
 name = "cargo-util-schemas"
-version = "0.2.0"
+version = "0.8.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e63d2780ac94487eb9f1fea7b0d56300abc9eb488800854ca217f102f5caccca"
+checksum = "7dc1a6f7b5651af85774ae5a34b4e8be397d9cf4bc063b7e6dbd99a841837830"
 dependencies = [
  "semver",
  "serde",
  "serde-untagged",
  "serde-value",
- "thiserror 1.0.69",
+ "thiserror 2.0.12",
  "toml",
  "unicode-xid",
  "url",
@@ -265,9 +265,9 @@ dependencies = [
 
 [[package]]
 name = "cargo_metadata"
-version = "0.20.0"
+version = "0.21.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4f7835cfc6135093070e95eb2b53e5d9b5c403dc3a6be6040ee026270aa82502"
+checksum = "5cfca2aaa699835ba88faf58a06342a314a950d2b9686165e038286c30316868"
 dependencies = [
  "camino",
  "cargo-platform",
@@ -436,15 +436,15 @@ dependencies = [
 
 [[package]]
 name = "console"
-version = "0.15.11"
+version = "0.16.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "054ccb5b10f9f2cbf51eb355ca1d05c2d279ce1804688d0db74b4733a5aeafd8"
+checksum = "2e09ced7ebbccb63b4c65413d821f2e00ce54c5ca4514ddc6b3c892fdbcbc69d"
 dependencies = [
  "encode_unicode",
  "libc",
  "once_cell",
  "unicode-width",
- "windows-sys 0.59.0",
+ "windows-sys 0.60.2",
 ]
 
 [[package]]
diff --git a/kani-driver/Cargo.toml b/kani-driver/Cargo.toml
index 2ea7e08c7141..cb361e41da4e 100644
--- a/kani-driver/Cargo.toml
+++ b/kani-driver/Cargo.toml
@@ -13,9 +13,9 @@ publish = false
 
 [dependencies]
 kani_metadata = { path = "../kani_metadata" }
-cargo_metadata = "0.20"
+cargo_metadata = "0.21"
 anyhow = "1"
-console = "0.15.1"
+console = "0.16"
 once_cell = "1.19.0"
 to_markdown_table = "0.1.0"
 serde = { version = "1", features = ["derive"] }
diff --git a/tools/build-kani/Cargo.toml b/tools/build-kani/Cargo.toml
index 523713c2e0f6..9667d01a98ca 100644
--- a/tools/build-kani/Cargo.toml
+++ b/tools/build-kani/Cargo.toml
@@ -11,6 +11,6 @@ publish = false
 
 [dependencies]
 anyhow = "1"
-cargo_metadata = "0.20"
+cargo_metadata = "0.21"
 clap = { version = "4.4.11", features=["derive"] }
 which = "8"
diff --git a/tools/kani-cov/Cargo.toml b/tools/kani-cov/Cargo.toml
index c0d267c858dd..44b87a22cae7 100644
--- a/tools/kani-cov/Cargo.toml
+++ b/tools/kani-cov/Cargo.toml
@@ -13,7 +13,7 @@ description = "A tool to process coverage information from Kani"
 [dependencies]
 anyhow = "1.0.81"
 clap = { version = "4.4.11", features = ["derive"] }
-console = "0.15.8"
+console = "0.16"
 serde = "1.0.197"
 serde_derive = "1.0.197"
 serde_json = "1.0.115"