lean-workbench/package.json at main · leanprover/lean-workbench · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
{
  "name": "@leanprover/workbench-app",
  "version": "0.1.0",
  "private": true,
  "type": "module",
  "workspaces": [
    "collab-server",
    "shard-manager",
    "shared",
    "vscode-workbench"
  ],
  "scripts": {
    "prepare": "husky && next typegen && prisma generate",
    "watch": "concurrently --names collab-server,vscode-workbench --kill-others-on-fail '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 next,packages 'npm run tsc:workbench-app' 'npm run tsc --workspaces'",
    "tsc:workbench-app": "tsc",
    "lint": "eslint && prettier --check .",
    "lint:fix": "eslint . --fix && prettier --write .",
    "prettier": "prettier --check .",
    "prettier:fix": "prettier --write .",
    "nudge": "node scripts/hmr-nudge.mjs"
  },
  "dependencies": {
    "@conform-to/zod": "^1.21.1",
    "@hocuspocus/provider": "^4.0.0",
    "@leanprover/workbench-shard-manager": "^0.1.0",
    "@leanprover/workbench-shared": "*",
    "@prisma/adapter-better-sqlite3": "^7.7.0",
    "@prisma/client": "^7.7.0",
    "@trpc/client": "^11.19.0",
    "better-auth": "^1.7.14",
    "chokidar": "^5.0.0",
    "friendly-words": "1.2.1",
    "next": "^16.2.3",
    "node-pty": "^1.1.0",
    "prisma": "^7.7.0",
    "react": "^19.2.4",
    "react-aria-components": "^1.21.1",
    "react-dom": "^19.2.4",
    "swr": "^2.4.1",
    "undici": "^7.30.0",
    "ws": "^8.20.0",
    "zod": "^4.4.3"
  },
  "devDependencies": {
    "@eslint/js": "^9.39.5",
    "@types/better-sqlite3": "^9.6.0",
    "@types/friendly-words": "1.2.1",
    "@types/node": "^24",
    "@types/react": "^19",
    "@types/react-dom": "^19",
    "@types/ws": "^8.18.1",
    "babel-plugin-react-compiler": "^1.0.0",
    "concurrently": "^10.0.4",
    "eslint": "^9",
    "eslint-config-next": "^16.2.3",
    "eslint-config-prettier": "^10.1.8",
    "eslint-plugin-no-relative-import-paths": "^1.6.1",
    "eslint-plugin-simple-import-sort": "^14.0.0",
    "husky": "^9.1.7",
    "lint-staged": "^16.4.0",
    "prettier": "^3.8.2",
    "typescript": "^6.0.3",
    "typescript-eslint": "^8.66.0"
  },
  "lint-staged": {
    "*.{js,jsx,ts,tsx}": [
      "eslint --cache --fix",
      "prettier --write"
    ],
    "*.{json,css}": "prettier --write"
  }
}