lean4web/package.json at main · Lean-zh/lean4web · 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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
{
  "name": "leanweb",
  "private": true,
  "version": "0.0.0",
  "type": "module",
  "bin": {
    "server": "server/index.mjs"
  },
  "files": [
    "client/dist",
    "server"
  ],
  "scripts": {
    "start": "concurrently -n server,client -c blue,green \"npm run start:server\" \"npm run start:client\"",
    "start:server": "cd server && NODE_ENV=development nodemon ./index.mjs",
    "start:client": "NODE_ENV=development vite --host",
    "build": "npm run build:server && npm run build:client",
    "build:server": "server/build.sh",
    "build:client": "tsc -b && NODE_ENV=production vite build",
    "production": "NODE_ENV=production node server/index.mjs",
    "dev": "vite",
    "lint": "eslint .",
    "format": "prettier --write .",
    "preview": "vite preview",
    "test:dev:bare": "wait-on \"http://localhost:8080\" \"http://localhost:3000\" && cypress run",
    "test:dev": "concurrently -k -s first -n server,client,cypress -c blue,green,cyan \"npm run start:server\" \"npm run start:client\" \"npm run test:dev:bare\" --hide server",
    "test:prod:bare": "wait-on \"http://localhost:3000\" && cypress run",
    "test:prod": "concurrently -k -s first -n server,cypress -c blue,cyan \"npm run build && PORT=3000 npm run production\" \"npm run test:prod:bare\"",
    "test:prod:windows:bare": "wait-on \"http://localhost:3000\" && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium",
    "test:prod:windows": "concurrently -k -s first -n server,cypress -c blue,cyan \"npm run build && PORT=3000 npm run production\" \"npm run test:prod:windows:bare\" --hide server",
    "test": "npm run test:dev"
  },
  "dependencies": {
    "@emotion/react": "^11.14.0",
    "@emotion/styled": "^11.14.1",
    "@fortawesome/free-solid-svg-icons": "^7.1.0",
    "@fortawesome/react-fontawesome": "^3.1.1",
    "@mui/material": "^7.3.5",
    "@tailwindcss/vite": "^4.1.18",
    "@tanstack/query-core": "^5.90.14",
    "@uiw/react-codemirror": "^4.25.3",
    "concurrently": "^9.2.1",
    "express": "^5.1.0",
    "file-saver": "^2.0.5",
    "ip-anonymize": "^0.1.0",
    "jotai": "^2.16.1",
    "jotai-location": "^0.6.2",
    "jotai-react": "^0.0.0",
    "jotai-tanstack-query": "^0.11.0",
    "lean4monaco": "^1.1.4",
    "lz-string": "^1.5.0",
    "memfs": "^4.51.1",
    "nocache": "^4.0.0",
    "nodemon": "^3.1.11",
    "react": "^19.2.0",
    "react-dom": "^19.2.0",
    "react-split": "^2.0.14",
    "tailwindcss": "^4.1.18",
    "vscode-ws-jsonrpc": "^3.5.0",
    "ws": "^8.18.3"
  },
  "devDependencies": {
    "@codingame/esbuild-import-meta-url-plugin": "^1.0.3",
    "@types/file-saver": "^2.0.7",
    "@types/node": "^24.10.1",
    "@types/react": "^19.2.7",
    "@types/react-dom": "^19.2.3",
    "@typescript-eslint/eslint-plugin": "^8.50.1",
    "@typescript-eslint/parser": "^8.50.1",
    "@vitejs/plugin-react-swc": "^4.2.2",
    "cypress": "^15.7.0",
    "cypress-iframe": "^1.0.1",
    "cypress-real-events": "^1.15.0",
    "eslint": "^9.39.2",
    "eslint-config-prettier": "^10.1.8",
    "eslint-plugin-import": "^2.32.0",
    "eslint-plugin-jsx-a11y": "^6.10.2",
    "eslint-plugin-react": "^7.37.5",
    "eslint-plugin-react-hooks": "^7.0.1",
    "eslint-plugin-react-refresh": "^0.4.26",
    "eslint-plugin-simple-import-sort": "^12.1.1",
    "eslint-plugin-unused-imports": "^4.3.0",
    "globals": "^16.5.0",
    "prettier": "^3.7.4",
    "typescript": "^5.9.3",
    "typescript-eslint": "^8.50.1",
    "vite": "^7.2.4",
    "vite-plugin-node-polyfills": "0.24.0",
    "vite-plugin-static-copy": "^3.1.4",
    "vite-plugin-svgr": "^4.5.0",
    "wait-on": "^9.0.3"
  },
  "engines": {
    "node": "25.x"
  }
}