diff --git a/.github/workflows/seal-core.yml b/.github/workflows/seal-core.yml
new file mode 100644
index 0000000..647029f
--- /dev/null
+++ b/.github/workflows/seal-core.yml
@@ -0,0 +1,45 @@
+name: SEAL-Core
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  fstar-verification:
+    runs-on: ubuntu-latest
+
+    env:
+      FSTAR_VERSION: v2026.03.24
+
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v4
+
+      - name: Install host packages
+        run: |
+          set -euo pipefail
+          sudo apt-get update
+          sudo apt-get install -y ca-certificates curl git gzip make tar
+
+      - name: Install F*
+        run: |
+          set -euo pipefail
+          mkdir -p "$RUNNER_TEMP/fstar-bin"
+          curl -fsSL https://aka.ms/install-fstar \
+            | bash -s -- \
+                --release \
+                --version "$FSTAR_VERSION" \
+                --dest "$RUNNER_TEMP/fstar" \
+                --link-dir "$RUNNER_TEMP/fstar-bin"
+          echo "$RUNNER_TEMP/fstar-bin" >> "$GITHUB_PATH"
+
+      - name: Check F* version
+        run: fstar.exe --version
+
+      - name: Verify SEAL-Core
+        run: |
+          set -euo pipefail
+          make toolchain
+          make verify
+          make test
+          git diff --check
diff --git a/README.md b/README.md
index 48e8cbf..5d40ecc 100644
--- a/README.md
+++ b/README.md
@@ -19,6 +19,17 @@ make verify
 make test
 ```
 
+## CI
+
+```sh
+make verify
+make test
+```
+
+GitHub Actions verifies the F* authority model on push and pull request.
+
+C extraction remains deferred until a compatible KaRaMeL toolchain is pinned.
+
 ## Current Prototype
 
 SEAL-Core v0 models a small fail-closed authority gate in F*. The gate evaluates a subject operation against a capability set, evidence state, and transition receipt state.