diff --git a/package.json b/package.json
new file mode 100644
index 0000000..f142f51
--- /dev/null
+++ b/package.json
@@ -0,0 +1,7 @@
+{
+  "name": "verification-trace-mini-project",
+  "private": true,
+  "version": "1.0.0",
+  "scripts": { "build": "tsc -p tsconfig.json", "start": "node dist/main.js" },
+  "devDependencies": { "typescript": "^5.9.0" }
+}