diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index dd69d256..767e8c52 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-latest ]
     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 x86_64-darwin
+        if: matrix.os == 'macos-latest'
+        run: nix build -L --no-link --show-trace .#packages.x86_64-darwin.kairos
+
+      - name: kairos x86_64-linux
+        if: matrix.os == 'ubuntu-latest'
         run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos
 
-      - name: kairos-prover
+      - name: kairos-prover x86_64-darwin
+        if: matrix.os == 'macos-latest'
+        run: nix build -L --no-link --show-trace .#packages.aarch64-darwin.kairos-prover
+
+      - name: kairos-prover x86_64-linux
+        if: matrix.os == 'ubuntu-latest'
         run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos-prover
diff --git a/flake.nix b/flake.nix
index 08d5cc74..51d9ed44 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" "x86_64-darwin" "aarch64-darwin" ];
       imports = [
         treefmt-nix.flakeModule
         ./kairos-prover