diff --git a/.github/workflows/prover.yml b/.github/workflows/prover.yml
new file mode 100644
index 0000000..2caab59
--- /dev/null
+++ b/.github/workflows/prover.yml
@@ -0,0 +1,44 @@
+name: Sui-Prover Test Action
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  build-and-run:
+    runs-on: macos-latest
+    env: 
+      BRANCH_NAME: ${{ github.head_ref || github.ref_name }}
+
+    concurrency:
+      group: ${{ github.head_ref || github.ref_name }}
+      cancel-in-progress: true
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Cache Homebrew
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/Library/Caches/Homebrew
+            /usr/local/Homebrew
+            /opt/homebrew
+          key: brew-macos-dotnet8-z3-rust
+
+      - name: Install prover by formula
+        run: brew install asymptotic-code/sui-prover/sui-prover
+
+      - name: Run Tests
+        run: |
+          cd specs
+          sui-prover
+          cd ..
+          cd specs-bv
+          sui-prover --no-bv-int-encoding
+          echo "All tests passed!"