diff --git a/justfile b/justfile
index f11bee80d..7f0d752eb 100644
--- a/justfile
+++ b/justfile
@@ -42,6 +42,10 @@ coverage language="[rust|python]": (_run_lang language \
         "poetry run pytest --cov=./ --cov-report=html"
     )
 
+# Run undsoundness checks using miri
+miri:
+    PROPTEST_DISABLE_FAILURE_PERSISTENCE=true MIRIFLAGS='-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE' cargo +nightly miri test
+
 # Load a shell with all the dependencies installed
 shell:
     poetry shell