diff --git a/.devcontainer/pre-commit.sh b/.devcontainer/pre-commit.sh
index a526c61..227059a 100755
--- a/.devcontainer/pre-commit.sh
+++ b/.devcontainer/pre-commit.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -eoux pipefail
 
 just fmt --check
diff --git a/flake.lock b/flake.lock
index 79e5d40..1140ea9 100644
--- a/flake.lock
+++ b/flake.lock
@@ -105,18 +105,18 @@
     "kani-repo": {
       "flake": false,
       "locked": {
-        "lastModified": 1751568156,
-        "narHash": "sha256-8UyAO9eTwcUtOktSJ9QdYpccgDRefWDTIewjAwvkhdA=",
+        "lastModified": 1762416501,
+        "narHash": "sha256-IZ8rfDYkSw33vGDrvsUlRUSt3WUvV/ZOusz9JJWZka8=",
         "ref": "main",
-        "rev": "96f7e59a8c8058f3edbdcc4d52940e376d54ff09",
-        "revCount": 2130,
+        "rev": "b37b90f4081da4e4194b1c8a728c117128d5e06e",
+        "revCount": 2334,
         "submodules": true,
         "type": "git",
         "url": "https://github.com/model-checking/kani"
       },
       "original": {
         "ref": "main",
-        "rev": "96f7e59a8c8058f3edbdcc4d52940e376d54ff09",
+        "rev": "b37b90f4081da4e4194b1c8a728c117128d5e06e",
         "submodules": true,
         "type": "git",
         "url": "https://github.com/model-checking/kani"
@@ -125,14 +125,14 @@
     "kani-tarball": {
       "flake": false,
       "locked": {
-        "lastModified": 1751573292,
-        "narHash": "sha256-RP38iCbQWoQyAYtq2Nnkm6iFhXtVQ4rbHaKyCFMcIsQ=",
+        "lastModified": 1762420546,
+        "narHash": "sha256-/a+pVGQObCQjP4BVaQXHoO1DlDiXOw8yCjiTkGDcPWA=",
         "type": "tarball",
-        "url": "https://github.com/model-checking/kani/releases/download/kani-0.64.0/kani-0.64.0-x86_64-unknown-linux-gnu.tar.gz"
+        "url": "https://github.com/model-checking/kani/releases/download/kani-0.66.0/kani-0.66.0-x86_64-unknown-linux-gnu.tar.gz"
       },
       "original": {
         "type": "tarball",
-        "url": "https://github.com/model-checking/kani/releases/download/kani-0.64.0/kani-0.64.0-x86_64-unknown-linux-gnu.tar.gz"
+        "url": "https://github.com/model-checking/kani/releases/download/kani-0.66.0/kani-0.66.0-x86_64-unknown-linux-gnu.tar.gz"
       }
     },
     "leanink-repo": {
@@ -165,11 +165,11 @@
         "sbt-derivation": "sbt-derivation"
       },
       "locked": {
-        "lastModified": 1753893065,
-        "narHash": "sha256-JLFobVIGPOua2SYDzbmMdmJ8bth80e//Q894tJ0cUrA=",
+        "lastModified": 1762481271,
+        "narHash": "sha256-iLNwHhpuCHZ9Sd4e+O0qD7og+y29pbhYE3MmOC4hsiI=",
         "owner": "gleachkr",
         "repo": "nix-tools",
-        "rev": "9645cb03cefa30fabc7c9698bba5c708e8396518",
+        "rev": "e6f10ee4dc0b4ddbfa2d134b97f6d9015e6b27c3",
         "type": "github"
       },
       "original": {
@@ -228,11 +228,11 @@
     },
     "nixpkgs_4": {
       "locked": {
-        "lastModified": 1761373498,
-        "narHash": "sha256-Q/uhWNvd7V7k1H1ZPMy/vkx3F8C13ZcdrKjO7Jv7v0c=",
+        "lastModified": 1775423009,
+        "narHash": "sha256-vPKLpjhIVWdDrfiUM8atW6YkIggCEKdSAlJPzzhkQlw=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "6a08e6bb4e46ff7fcbb53d409b253f6bad8a28ce",
+        "rev": "68d8aa3d661f0e6bd5862291b5bb263b2a6595c9",
         "type": "github"
       },
       "original": {
@@ -271,11 +271,11 @@
         "nixpkgs": "nixpkgs_2"
       },
       "locked": {
-        "lastModified": 1753843724,
-        "narHash": "sha256-a0Aab7Zst68GqvNAMh9Ejwnp8gawGnruOMtEWZ0HHjM=",
+        "lastModified": 1762396738,
+        "narHash": "sha256-BarSecuxtzp1boERdABLkkoxQTi6s/V33lJwUbWLrLY=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "01ac47d86311fb030023f1dfc5f6bc368b9c6cee",
+        "rev": "c63598992afd54d215d54f2b764adc0484c2b159",
         "type": "github"
       },
       "original": {
@@ -289,11 +289,11 @@
         "nixpkgs": "nixpkgs_5"
       },
       "locked": {
-        "lastModified": 1761705569,
-        "narHash": "sha256-dqljv29XldlKvdTwFw8GkxOQHrz3/13yxdwHW8+nzBI=",
+        "lastModified": 1775704356,
+        "narHash": "sha256-A9JX65WofIF8OKrkMsjznSYNj/A4hfJfEGonsEQ9kxA=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "bca7909cb02f5139e0a490b0ff4bae775ea3ebf6",
+        "rev": "55660228072f38c64c4d2fd227944334dc3f4326",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 8b72c6b..6c007e6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -51,7 +51,8 @@
                         clang
                         glibc_multi
                         ninja
-                        nix-tools.packages.${pkgs.system}.kani
+                        nix-tools.packages.${pkgs.stdenv.hostPlatform.system}.kani
+                        dtc
 
                         stlink
                     ];