feat: quint initial setup

.github/workflows/spec.yml

@@ -0,0 +1,15 @@
+name: "Specification Check CI"
+on:
+  pull_request:
+  push:
+    branches:
+      - master
+jobs:
+  tests:
+    name: Tests
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v5
+      - uses: cachix/install-nix-action@v31
+      - name: Run tests
+        run: nix run .#spec

.gitignore

@@ -3,6 +3,8 @@ kotlinc/
 .kotlin/
 **/build/
 *.log
+node_modules/
+**/_apalache-out
 
 # Ignore Gradle project-specific cache directory
 .gradle

flake.nix

@@ -11,6 +11,9 @@
         testScript = pkgs.writeShellScriptBin "test" ''
           ${pkgs.gradle}/bin/gradle test
         '';
+        specScript = pkgs.writeShellScriptBin "spec" ''
+          ${pkgs.quint}/bin/quint run ./spec/raft.qnt --max-steps=50 --mbt --invariants foobar
+        '';
 
         # kotlinLspPatch = pkgs.writeShellScriptBin "kotlin-language-server" ''
         #   JAVA_OPTS="-Xms1g -Xmx2g -XX:+UseG1GC -XX:MaxGCPauseMillis=200 -XX:+UseStringDeduplication" \
@@ -27,8 +30,23 @@
           ];
           program = "${testScript}/bin/test";
         };
+
+        apps.spec = {
+          type = "app";
+          buildInputs = with pkgs;[
+            pkgs.quint
+            pkgs.nodejs
+          ];
+          program = "${specScript}/bin/spec";
+        };
+
         devShells.default = pkgs.mkShell {
           buildInputs = [
+            # Quint Spec Deps
+            pkgs.quint
+            pkgs.nodejs
+
+            # Dev Deps
             pkgs.gradle
             pkgs.openjdk21
             pkgs.kotlin
@@ -38,6 +56,8 @@
 
           shellHook = ''
             export GRADLE_USER_HOME="$PWD/.gradle"
+            export PATH="$PATH:$(pwd)/node_modules/.bin"
+            npm install @informalsystems/quint-language-server -D
           '';
         };
       });