package.json

{
  "name": "@leanprover/workbench-app",
  "version": "0.1.0",
  "private": true,
  "type": "module",
  "workspaces": [
    "collab-server",
    "vscode-workbench"
  ],
  "scripts": {
    "prepare": "husky && next typegen && prisma generate",
    "watch": "concurrently --names collab-server,vscode-workbench 'npm run watch:collab-server' 'npm run watch:vscode-workbench'",
    "watch:collab-server": "npm --workspace collab-server run watch",
    "watch:vscode-workbench": "npm --workspace vscode-workbench run watch",
    "tsc": "concurrently --names collab-server,vscode-workbench,workbench-app 'npm run tsc:collab-server' 'npm run tsc:vscode-workbench' 'npm run tsc:workbench-app'",
    "tsc:collab-server": "npm --workspace collab-server run tsc",
    "tsc:vscode-workbench": "npm --workspace vscode-workbench run tsc",
    "tsc:workbench-app": "tsc",
    "lint": "prettier --check . && eslint"
  },
  "dependencies": {
    "@prisma/adapter-better-sqlite3": "^7.7.0",
    "@prisma/client": "^7.7.0",
    "better-auth": "^1.6.2",
    "chokidar": "^5.0.0",
    "next": "16.2.3",
    "prisma": "^7.7.0",
    "react": "19.2.4",
    "react-dom": "19.2.4",
    "swr": "^2.4.1",
    "zod": "^4.3.6"
  },
  "devDependencies": {
    "@types/better-sqlite3": "^7.6.13",
    "@types/node": "^20",
    "@types/react": "^19",
    "@types/react-dom": "^19",
    "babel-plugin-react-compiler": "1.0.0",
    "concurrently": "^9.2.1",
    "eslint": "^9",
    "eslint-config-next": "16.2.3",
    "eslint-config-prettier": "^10.1.8",
    "husky": "^9.1.7",
    "lint-staged": "^16.4.0",
    "prettier": "^3.8.2",
    "prettier-plugin-organize-imports": "^4.3.0",
    "typescript": "^5"
  },
  "lint-staged": {
    "*.{js,jsx,ts,tsx}": [
      "eslint --cache --fix",
      "prettier --write"
    ],
    "*.{json,css}": "prettier --write"
  }
}