{
  "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" }
}