diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index ddb8e61d..be88ab6f 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -38,3 +38,13 @@ jobs:
         with:
           command: test
           args: --verbose --all --no-default-features --features num
+  msrv:
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v2
+      - name: Install cargo-msrv
+        uses: baptiste0928/cargo-install@v1.1.0
+        with:
+          crate: cargo-msrv
+      - name: Verify MSRV
+        run: cargo msrv --verify
diff --git a/Cargo.toml b/Cargo.toml
index 193d6ce6..b9d8466d 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -10,6 +10,7 @@ license = "BSD-3-Clause"
 keywords = ["prolog", "prolog-interpreter", "prolog-system"]
 categories = ["command-line-utilities"]
 build = "build.rs"
+rust-version = "1.57"
 
 [workspace]
 members = ["crates/num-rug-adapter",
@@ -72,4 +73,4 @@ predicates-core = "1.0.2"
 serial_test = "0.5.1"
 
 [profile.release]
-debug = true
\ No newline at end of file
+debug = true