diff --git a/deno.json b/deno.json
deleted file mode 100644
index e93104c5..00000000
--- a/deno.json
+++ /dev/null
@@ -1,74 +0,0 @@
-{
-  "$schema": "https://deno.land/x/deno/cli/schemas/config-file.v1.json",
-  "name": "@echidna/provers",
-  "version": "0.1.0",
-  "description": "ECHIDNA - Neurosymbolic Theorem Proving Platform",
-  "license": "AGPL-3.0-or-later",
-
-  "compilerOptions": {
-    "allowJs": false,
-    "strict": true,
-    "noImplicitAny": true,
-    "noUnusedLocals": true,
-    "noUnusedParameters": true
-  },
-
-  "imports": {
-    "@std/": "https://deno.land/std@0.224.0/",
-    "@echidna/provers": "./src/provers/mod.ts"
-  },
-
-  "tasks": {
-    "check": "deno check src/provers/mod.ts",
-    "lint": "deno lint src/",
-    "fmt": "deno fmt src/",
-    "test": "deno test --allow-net --allow-read --allow-env src/",
-
-    "health": "deno run --allow-net --allow-env src/provers/runners/cli.ts --health",
-    "solve": "deno run --allow-net --allow-read --allow-write --allow-env src/provers/runners/cli.ts --solve",
-    "batch": "deno run --allow-net --allow-read --allow-write --allow-env src/provers/runners/cli.ts --batch",
-    "daemon": "deno run --allow-net --allow-read --allow-write --allow-env src/provers/runners/cli.ts --daemon",
-
-    "ban-npm": "echo '❌ npm is BANNED in this project. Use Deno!' && exit 1",
-
-    "serve:ui": "cd src/ui/public && deno run --allow-net --allow-read jsr:@std/http/file-server"
-  },
-
-  "fmt": {
-    "include": ["src/"],
-    "exclude": [],
-    "options": {
-      "useTabs": false,
-      "lineWidth": 100,
-      "indentWidth": 2,
-      "singleQuote": false,
-      "proseWrap": "preserve"
-    }
-  },
-
-  "lint": {
-    "include": ["src/"],
-    "exclude": [],
-    "rules": {
-      "tags": ["recommended"],
-      "include": [
-        "ban-untagged-todo",
-        "no-sync-fn-in-async-fn",
-        "single-var-declarator"
-      ],
-      "exclude": []
-    }
-  },
-
-  "test": {
-    "include": ["src/**/*_test.ts", "src/**/*.test.ts"],
-    "exclude": []
-  },
-
-  "publish": {
-    "include": ["src/provers/", "README.md", "LICENSE"],
-    "exclude": ["**/*_test.ts", "**/*.test.ts"]
-  },
-
-  "nodeModulesDir": "none"
-}
diff --git a/echidna-playground/deno.json b/echidna-playground/deno.json
deleted file mode 100644
index 55ee64f3..00000000
--- a/echidna-playground/deno.json
+++ /dev/null
@@ -1,24 +0,0 @@
-{
-  "name": "@coq-jr/web",
-  "version": "0.1.0",
-  "tasks": {
-    "build:res": "deno run -A --node-modules-dir=auto npm:affinescript build",
-    "clean:res": "deno run -A --node-modules-dir=auto npm:affinescript clean",
-    "dev": "deno run --allow-net --allow-read jsr:@std/http@^1.0.0/file-server .",
-    "serve": "deno run --allow-net --allow-read jsr:@std/http@^1.0.0/file-server .",
-    "res:build": "deno run -A --node-modules-dir=auto npm:affinescript build",
-    "res:clean": "deno run -A --node-modules-dir=auto npm:affinescript clean",
-    "res:watch": "deno run -A --node-modules-dir=auto npm:affinescript build -w"
-  },
-  "imports": {
-    "@std/http": "jsr:@std/http@^1.0.0",
-    "@std/path": "jsr:@std/path@^1.0.0",
-    "affinescript": "^12.0.0"
-  },
-  "compilerOptions": {
-    "lib": [
-      "deno.window",
-      "dom"
-    ]
-  }
-}
\ No newline at end of file