Merge pull request #4 from mlabs-haskell/adamczykm/connor/new-plugin-interface

Fix some imports to make it work finally + add checkOutputValidity
Connor's Prover & Plugin Work

Author: adamczykm

flake.lock

@@ -0,0 +1,26 @@
+{
+  description = "MinAuth";
+
+  inputs = {
+    flake-parts.url = "github:hercules-ci/flake-parts";
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
+  };
+
+  outputs = inputs@{ flake-parts, ... }:
+    flake-parts.lib.mkFlake { inherit inputs; } {
+      imports = [
+      ];
+      systems = [ "x86_64-linux" "aarch64-linux" "aarch64-darwin" "x86_64-darwin" ];
+      perSystem = { config, self', inputs', pkgs, system, ... }: {
+        devShells.default = pkgs.mkShell {
+          packages = with pkgs; [
+            nodejs
+            nodePackages.typescript
+            nodePackages.typescript-language-server
+          ];
+        };
+      };
+      flake = {
+      };
+    };
+}

flake.nix

@@ -4,12 +4,12 @@
   "description": "",
   "main": "index.js",
   "scripts": {
-    "start-api": "nodemon src/apiServer/apiServer.ts",
-    "start-plugin-server": "nodemon src/pluginInteropServer/pluginServer.ts",
+    "start-api": "nodemon src/someServer/apiServer.ts",
+    "start-plugin-server": "nodemon src/library/tools/pluginServer.ts",
     "start-client": "nodemon src/headlessClient/client.ts",
     "build": "tsc",
-    "serve-api": "node ./dist/apiServer/server.js",
-    "serve-plugin-server": "node ./dist/pluginInteropServer/pluginServer.js",
+    "serve-api": "node ./dist/someServer/apiServer.js",
+    "serve-plugin-server": "node ./dist/library/tools/pluginServer.js",
     "run-client": "node ./dist/headlessClient/client.js"
   },
   "keywords": [],
@@ -24,12 +24,16 @@
     "axios": "^1.5.0",
     "big-integer": "^1.6.51",
     "body-parser": "^1.20.2",
+    "cmd-ts": "^0.13.0",
     "crypto": "^1.0.1",
+    "env-var": "^7.4.1",
     "express": "^4.18.2",
     "jsonwebtoken": "^9.0.2",
     "passport": "^0.6.0",
     "passport-jwt": "^4.0.1",
-    "passport-strategy": "^1.0.0"
+    "passport-strategy": "^1.0.0",
+    "yaml": "^2.3.2",
+    "zod": "^3.22.2"
   },
   "devDependencies": {
     "@types/axios": "^0.14.0",
@@ -47,4 +51,4 @@
   "peerDependencies": {
     "o1js": "0.13.*"
   }
-}
+}