package.json

{
  "name": "lean4-game",
  "version": "0.1.0",
  "type": "module",
  "private": true,
  "homepage": ".",
  "dependencies": {
    "@emotion/react": "^11.10.5",
    "@emotion/styled": "^11.10.5",
    "@floating-ui/react": "^0.27.4",
    "@fontsource/roboto": "^4.5.8",
    "@fontsource/roboto-mono": "^4.5.8",
    "@fortawesome/fontawesome-svg-core": "6.5.1",
    "@fortawesome/free-regular-svg-icons": "6.5.1",
    "@fortawesome/free-solid-svg-icons": "6.5.1",
    "@fortawesome/react-fontawesome": "0.2.0",
    "@leanprover/infoview": "^0.4.3",
    "@mui/icons-material": "^5.11.0",
    "@mui/material": "^5.11.1",
    "@reduxjs/toolkit": "^1.9.1",
    "@tanstack/query-core": "^5.90.20",
    "@vscode/webview-ui-toolkit": "^1.4.0",
    "cytoscape": "^3.23.0",
    "cytoscape-elk": "^2.1.0",
    "cytoscape-klay": "^3.1.4",
    "debounce": "^1.2.1",
    "express": "^4.18.2",
    "got": "^14.4.6",
    "highlightjs-lean": "^1.2.0",
    "i18next": "^23.10.1",
    "i18next-http-backend": "^2.5.0",
    "ip-anonymize": "^0.1.0",
    "jotai": "^2.13.1",
    "jotai-location": "^0.6.2",
    "jotai-tanstack-query": "^0.11.0",
    "lean4monaco": "1.1.7",
    "marked": "^4.3.0",
    "monaco-editor-wrapper": "^5.3.1",
    "node-schedule": "^2.1.1",
    "octokit": "^5.0.5",
    "react": "^18.2.0",
    "react-contenteditable": "^3.3.7",
    "react-country-flag": "^3.1.0",
    "react-dom": "^18.2.0",
    "react-i18next": "^14.1.0",
    "react-markdown": "^8.0.4",
    "react-popper": "^2.3.0",
    "react-redux": "^8.0.5",
    "react-split": "^2.0.14",
    "react-syntax-highlighter": "^16.1.1",
    "rehype-katex": "^6.0.2",
    "rehype-mathjax": "^7.1.0",
    "rehype-raw": "^7.0.0",
    "remark-gfm": "^3.0.1",
    "remark-math": "^5.1.1",
    "uuid": "^11.1.0",
    "vscode-lean4": "github:leanprover/vscode-lean4#de0062c",
    "web-worker": "^1.2.0",
    "ws": "^8.18.1"
  },
  "devDependencies": {
    "@babel/plugin-transform-optional-chaining": "^7.23.0",
    "@codingame/esbuild-import-meta-url-plugin": "^1.0.3",
    "@pmmmwh/react-refresh-webpack-plugin": "^0.5.10",
    "@redux-devtools/core": "^3.13.1",
    "@testing-library/react": "^13.4.0",
    "@types/cytoscape": "^3.19.9",
    "@types/debounce": "^1.2.1",
    "@types/express": "^5.0.2",
    "@types/got": "^9.6.12",
    "@types/ws": "^8.18.1",
    "@vitejs/plugin-react-swc": "^4.2.3",
    "concurrently": "^9.2.1",
    "cross-env": "^10.1.0",
    "css-loader": "^6.7.3",
    "cypress": "^14.5.0",
    "cypress-iframe": "^1.0.1",
    "file-loader": "^6.2.0",
    "i18next-scanner": "^4.4.0",
    "i18next-scanner-typescript": "^1.2.0",
    "memfs": "^4.51.1",
    "nodemon": "^3.1.14",
    "react-refresh": "^0.18.0",
    "rollup": "^4.34.9",
    "style-loader": "^3.3.1",
    "ts-loader": "^9.4.2",
    "typescript": "^5.9.3",
    "url-loader": "^4.1.1",
    "vite": "^7.3.1",
    "vite-plugin-node-polyfills": "^0.25.0",
    "vite-plugin-static-copy": "^3.2.0",
    "vite-plugin-svgr": "^4.5.0",
    "wait-on": "^9.0.4",
    "warning": "^4.0.3"
  },
  "scripts": {
    "start": "concurrently -n server,relay,client -c blue,yellow,green \"npm run build:server\" \"npm run start:relay\" \"npm run start:client\"",
    "start:relay": "(tsc -b ./relay) && (cd relay && cross-env NODE_ENV=development nodemon -e mjs --exec \"node ./dist/src/index.js\")",
    "start:client": "cross-env NODE_ENV=development vite --host",
    "build": "npm run build:server && npm run build:relay && npm run build:client && npm run build:test",
    "preview": "vite preview",
    "build:server": "cd server && lake build",
    "build:client": "cross-env NODE_ENV=production vite build",
    "build:relay": "tsc -b ./relay",
    "build:test": "cd cypress/TestGame && lake build",
    "production": "cross-env NODE_ENV=production node relay/dist/src/index.js",
    "translate": "npx i18next-scanner --config client/i18next-scanner.config.cjs",
    "test": "npm run build:test && concurrently -n server,cypress -c blue,green \"npm start\" \"cypress run\" -k -s first --hide server",
    "test:prod": "npm run build && concurrently -n server,cypress -c blue,green \"PORT=3000 npm run production\" \"cypress run\" -k -s first"
  },
  "eslintConfig": {
    "extends": [
      "react-app",
      "react-app/jest"
    ]
  },
  "browserslist": {
    "production": [
      ">0.2%",
      "not dead",
      "not op_mini all"
    ],
    "development": [
      "last 1 chrome version",
      "last 1 firefox version",
      "last 1 safari version"
    ]
  }
}