diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7b84f91..b5bd5ee 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -14,7 +14,7 @@ jobs:
 
       - name: Build EigenScript
         run: |
-          git clone --branch v0.37.0 --depth 1 https://github.com/InauguralSystems/EigenScript.git /tmp/eigenscript
+          git clone --branch v0.38.0 --depth 1 https://github.com/InauguralSystems/EigenScript.git /tmp/eigenscript
           cd /tmp/eigenscript && make build
           echo "/tmp/eigenscript/src" >> $GITHUB_PATH
 
diff --git a/CLAUDE.md b/CLAUDE.md
index 2002c00..b5724bf 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -32,7 +32,7 @@ Minimum is **v0.11.8** — the earliest release that runs the CDCL suite
 green. The floor is set by a v0.11.x VM fix, not by stdlib integer
 vectors (those shipped in v0.11.2, but that release still crashes the
 CDCL path).
-CI builds and tests against EigenScript **v0.37.0** (pinned in
+CI builds and tests against EigenScript **v0.38.0** (pinned in
 `.github/workflows/ci.yml`): the correctness suite is green — all
 `test_solver.eigs` assertions and the full `run_smoke.sh` pass. The
 `Inline tiny accessors in CDCL hot path` commit captures the hoist