diff --git a/scripts/kani-std-analysis/metrics-data-core.json b/scripts/kani-std-analysis/metrics-data-core.json
index 54f71b40cdabb..62757eb79be27 100644
--- a/scripts/kani-std-analysis/metrics-data-core.json
+++ b/scripts/kani-std-analysis/metrics-data-core.json
@@ -380,6 +380,28 @@
       "verified_safe_fns_under_contract": 111,
       "verified_safe_fns_with_loop_under_contract": 0,
       "total_functions_under_contract_all_crates": 338
+    },
+    {
+      "date": "2025-11-02",
+      "total_unsafe_fns": 7259,
+      "total_unsafe_fns_with_loop": 16,
+      "total_safe_abstractions": 1839,
+      "total_safe_abstractions_with_loop": 74,
+      "total_safe_fns": 15872,
+      "total_safe_fns_with_loop": 739,
+      "unsafe_fns_under_contract": 210,
+      "unsafe_fns_with_loop_under_contract": 2,
+      "verified_unsafe_fns_under_contract": 201,
+      "verified_unsafe_fns_with_loop_under_contract": 1,
+      "safe_abstractions_under_contract": 77,
+      "safe_abstractions_with_loop_under_contract": 0,
+      "verified_safe_abstractions_under_contract": 77,
+      "verified_safe_abstractions_with_loop_under_contract": 0,
+      "safe_fns_under_contract": 113,
+      "safe_fns_with_loop_under_contract": 0,
+      "verified_safe_fns_under_contract": 111,
+      "verified_safe_fns_with_loop_under_contract": 0,
+      "total_functions_under_contract_all_crates": 338
     }
   ]
 }
\ No newline at end of file
diff --git a/scripts/kani-std-analysis/metrics-data-std.json b/scripts/kani-std-analysis/metrics-data-std.json
index d95e46e1c70c3..eb88a9b2375c8 100644
--- a/scripts/kani-std-analysis/metrics-data-std.json
+++ b/scripts/kani-std-analysis/metrics-data-std.json
@@ -263,6 +263,28 @@
       "verified_safe_fns_under_contract": 0,
       "verified_safe_fns_with_loop_under_contract": 0,
       "total_functions_under_contract_all_crates": 338
+    },
+    {
+      "date": "2025-11-02",
+      "total_unsafe_fns": 182,
+      "total_unsafe_fns_with_loop": 12,
+      "total_safe_abstractions": 490,
+      "total_safe_abstractions_with_loop": 46,
+      "total_safe_fns": 4125,
+      "total_safe_fns_with_loop": 189,
+      "unsafe_fns_under_contract": 9,
+      "unsafe_fns_with_loop_under_contract": 0,
+      "verified_unsafe_fns_under_contract": 2,
+      "verified_unsafe_fns_with_loop_under_contract": 0,
+      "safe_abstractions_under_contract": 0,
+      "safe_abstractions_with_loop_under_contract": 0,
+      "verified_safe_abstractions_under_contract": 0,
+      "verified_safe_abstractions_with_loop_under_contract": 0,
+      "safe_fns_under_contract": 0,
+      "safe_fns_with_loop_under_contract": 0,
+      "verified_safe_fns_under_contract": 0,
+      "verified_safe_fns_with_loop_under_contract": 0,
+      "total_functions_under_contract_all_crates": 338
     }
   ]
 }
\ No newline at end of file
diff --git a/scripts/run-goto-transcoder.sh b/scripts/run-goto-transcoder.sh
index a29dfbd34b492..a662ca75a69f9 100755
--- a/scripts/run-goto-transcoder.sh
+++ b/scripts/run-goto-transcoder.sh
@@ -9,8 +9,8 @@ contract_folder=$1/kani_verify_std/target/x86_64-unknown-linux-gnu/debug/deps
 supported_regex=$2
 unsupported_regex=neg
 
-goto_transcoder_git=https://github.com/rafaelsamenezes/goto-transcoder
-esbmc_url=https://github.com/esbmc/esbmc/releases/download/nightly-7867f5e5595b9e181cd36eb9155d1905f87ad241/esbmc-linux.zip
+goto_transcoder_git=https://github.com/esbmc/goto-transcoder
+esbmc_url=https://github.com/esbmc/esbmc/releases/download/nightly-39b012f9f7f7dad188708a9eaf4bbbc5faa3b4f7/esbmc-linux.zip
 
 ##########
 # SCRIPT #
@@ -44,8 +44,8 @@ while IFS= read -r line; do
         continue
     fi
     echo "Running: goto-transcoder $contract $contract_folder/$line $contract.esbmc.goto"
-    cargo run cbmc2esbmc $contract ../$contract_folder/$line $contract.esbmc.goto
-    ./linux-release/bin/esbmc --binary $contract.esbmc.goto
+    cargo run cbmc2esbmc  ../$contract_folder/$line $contract.esbmc.goto
+    ./linux-release/bin/esbmc --cprover --function $contract --binary resources/library.goto $contract.esbmc.goto
 done < "_contracts.txt"
 
 rm "_contracts.txt"