diff --git a/.gitignore b/.gitignore
index c189e9b2..c03a800e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -217,3 +217,11 @@ generated/tlaiser/
 generated/wokelangiser/
 generated/alloyiser/
 generated/abi/
+
+# npm-avoidant (standards#67)
+package-lock.json
+**/package-lock.json
+bun.lockb
+yarn.lock
+pnpm-lock.yaml
+.npmrc
diff --git a/echidna-playground/deno.json b/echidna-playground/deno.json
index 44a3d454..c9f1c3f2 100644
--- a/echidna-playground/deno.json
+++ b/echidna-playground/deno.json
@@ -2,13 +2,13 @@
   "name": "@coq-jr/web",
   "version": "0.1.0",
   "tasks": {
-    "build:res": "npx rescript build",
-    "clean:res": "npx rescript clean",
+    "build:res": "deno run -A --node-modules-dir=auto npm:rescript build",
+    "clean:res": "deno run -A --node-modules-dir=auto npm:rescript clean",
     "dev": "deno run --allow-net --allow-read server.ts",
     "serve": "deno run --allow-net --allow-read server.ts",
-    "res:build": "rescript build",
-    "res:clean": "rescript clean",
-    "res:watch": "rescript build -w"
+    "res:build": "deno run -A --node-modules-dir=auto npm:rescript build",
+    "res:clean": "deno run -A --node-modules-dir=auto npm:rescript clean",
+    "res:watch": "deno run -A --node-modules-dir=auto npm:rescript build -w"
   },
   "imports": {
     "@std/http": "jsr:@std/http@^1.0.0",
diff --git a/echidna-playground/package.json b/echidna-playground/package.json
deleted file mode 100644
index 2600a848..00000000
--- a/echidna-playground/package.json
+++ /dev/null
@@ -1,15 +0,0 @@
-{
-  "name": "coq-jr",
-  "version": "0.1.0",
-  "description": "jsCoq reimplemented in ReScript with Deno",
-  "type": "module",
-  "scripts": {
-    "res:build": "rescript build",
-    "res:clean": "rescript clean",
-    "res:watch": "rescript build -w"
-  },
-  "devDependencies": {
-    "rescript": "^12.0.0"
-  },
-  "dependencies": {}
-}