diff --git a/saw-remote-api/python/poetry.lock b/saw-remote-api/python/poetry.lock
index 45a41d9d29..7e51c5521c 100644
--- a/saw-remote-api/python/poetry.lock
+++ b/saw-remote-api/python/poetry.lock
@@ -1,4 +1,4 @@
-# This file is automatically @generated by Poetry 1.6.1 and should not be changed by hand.
+# This file is automatically @generated by Poetry 1.5.1 and should not be changed by hand.
 
 [[package]]
 name = "argo-client"
@@ -171,13 +171,13 @@ files = [
 
 [[package]]
 name = "cryptol"
-version = "3.0.0"
-description = "Cryptol client for the Cryptol 2.13 RPC server"
+version = "3.1.0"
+description = "Cryptol client for the Cryptol RPC server"
 optional = false
 python-versions = ">=3.8.0,<4"
 files = [
-    {file = "cryptol-3.0.0-py3-none-any.whl", hash = "sha256:3235e5d90750c97747f7f1db9c23fc3a75aa7b72d1d7cd92403a5dd8434fc929"},
-    {file = "cryptol-3.0.0.tar.gz", hash = "sha256:95eba40009c15826fea34d5964f752bf49bc6165dd3df7ae18ed8a635be9f8a7"},
+    {file = "cryptol-3.1.0-py3-none-any.whl", hash = "sha256:05ad03b80357c7589c925a5b09e8a9a3f11f6d471d726a1c1488d5742b0a2dba"},
+    {file = "cryptol-3.1.0.tar.gz", hash = "sha256:101a74b381d65d2529b8b31b450f7c585cdb9f3a67a0a3a909ee46414cf23167"},
 ]
 
 [package.dependencies]
@@ -385,4 +385,4 @@ zstd = ["zstandard (>=0.18.0)"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.8"
-content-hash = "10ff740f6f3d75ad166908c0eb46e73ed65a13af67879ff507c95089ed103e0c"
+content-hash = "6c8444689066b1662f0c642fa4088b85c9e593523c9301f3e23a6e473ab4ed43"
diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml
index 531d2a06ba..a043aefadf 100644
--- a/saw-remote-api/python/pyproject.toml
+++ b/saw-remote-api/python/pyproject.toml
@@ -14,7 +14,7 @@ include = [
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = "3.0.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+cryptol = "3.1.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
 argo-client = "0.0.11"
 lmdb = "^1.4.1"
 cbor2 = "^5.4.6"