diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 5d0d971e..d1d32d72 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -6,9 +6,11 @@ on:
     branches: [main]
 
 jobs:
-  checks:
-    name: format & build
-    runs-on: ubuntu-latest
+  check:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ ubuntu-latest, macos-13 ]
     steps:
       - uses: actions/checkout@v3
       - uses: DeterminateSystems/nix-installer-action@main
@@ -22,8 +24,18 @@ jobs:
       - name: check
         run: nix flake check -L --show-trace
 
-      - name: kairos-node
+      - name: kairos-node aarch64-darwin
+        if: matrix.os == 'macos-13'
+        run: nix build -L --no-link --show-trace .#packages.aarch64-darwin.kairos-node
+
+      - name: kairos-node x86_64-linux
+        if: matrix.os == 'ubuntu-latest'
         run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos-node
 
-      - name: kairos-prover
+      - name: kairos-prover aarch64-darwin
+        if: matrix.os == 'macos-13'
+        run: nix build -L --no-link --show-trace .#packages.aarch64-darwin.kairos-prover
+
+      - name: kairos-prover x86_64-linux
+        if: matrix.os == 'macos-13'
         run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos-prover
diff --git a/flake.nix b/flake.nix
index 8b359c1a..4cfb3bfe 100644
--- a/flake.nix
+++ b/flake.nix
@@ -29,7 +29,7 @@
 
   outputs = inputs@{ self, flake-parts, treefmt-nix, ... }:
     flake-parts.lib.mkFlake { inherit inputs; } {
-      systems = [ "x86_64-linux" ];
+      systems = [ "x86_64-linux" "aarch64-darwin" ];
       imports = [
         treefmt-nix.flakeModule
         ./kairos-prover