package.json

{
  "name": "@proofcore/engine",
  "version": "1.0.3",
  "description": "ProofCore - Hybrid Mathematical Proof Verification Engine",
  "type": "module",
  "scripts": {
    "dev": "vite",
    "build": "tsc && vite build",
    "preview": "vite preview",
    "test": "vitest run",
    "test:performance": "vitest run tests/performance",
    "test:perf:symbolic": "vitest run tests/performance/symbolic_verification.perf.test.ts",
    "test:perf:heuristic": "vitest run tests/performance/heuristic_evaluation.perf.test.ts",
    "test:perf:graph": "vitest run tests/performance/graph_analysis.perf.test.ts",
    "test:perf:e2e": "vitest run tests/performance/end_to_end.perf.test.ts",
    "test:perf:bundle": "vitest run tests/performance/bundle.perf.test.ts",
    "test:offline": "vitest run tests/offline",
    "api:check": "node scripts/api-health-check.mjs",
    "api:generate": "openapi-typescript http://localhost:8000/openapi.json -o src/api/schema.d.ts && echo 'OpenAPI types generated successfully'",
    "api:generate:local": "openapi-typescript backend/openapi.json -o src/api/schema.d.ts && echo 'OpenAPI types generated from local schema'",
    "storybook": "storybook dev -p 6006",
    "build-storybook": "storybook build",
    "setup:pyodide": "node scripts/fetch-pyodide-assets.mjs",
    "verify:offline-assets": "node scripts/verify-offline-assets.mjs"
  },
  "dependencies": {
    "@emotion/react": "^11.14.0",
    "@emotion/styled": "^11.14.1",
    "@tanstack/react-query": "^5.90.2",
    "d3": "^7.9.0",
    "d3-graphviz": "^5.6.0",
    "lodash": "^4.17.21",
    "pyodide": "^0.26.1",
    "react": "^18.3.1",
    "react-dom": "^18.3.1",
    "zustand": "^5.0.8"
  },
  "devDependencies": {
    "@chromatic-com/storybook": "^4.1.1",
    "@emotion/babel-plugin": "^11.13.5",
    "@faker-js/faker": "^8.4.1",
    "@mswjs/data": "^0.16.2",
    "@storybook/addon-a11y": "^9.1.10",
    "@storybook/addon-docs": "^9.1.10",
    "@storybook/addon-onboarding": "^9.1.10",
    "@storybook/react-vite": "^9.1.10",
    "@types/d3": "^7.4.3",
    "@types/lodash": "^4.17.0",
    "@types/react": "^18.3.3",
    "@types/react-dom": "^18.3.0",
    "@vitejs/plugin-react": "^4.3.1",
    "@vitest/coverage-v8": "^2.0.1",
    "dotenv": "^17.2.3",
    "esbuild": "^0.25.12",
    "jsdom": "^27.0.0",
    "msw": "^2.11.6",
    "msw-storybook-addon": "^2.0.0",
    "openapi-fetch": "^0.15.0",
    "openapi-typescript": "^7.10.1",
    "storybook": "^9.1.10",
    "typescript": "^5.5.3",
    "vite": "^5.4.21",
    "vitest": "^2.0.1"
  },
  "msw": {
    "workerDirectory": [
      "public"
    ]
  }
}