spec-to-proof/package.json at main · SentinelOps-CI/spec-to-proof · 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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
{
  "name": "spec-to-proof",
  "version": "1.0.0",
  "description": "Turns everyday product specs into machine-checked Lean 4 guarantees",
  "private": true,
  "scripts": {
    "dev": "node scripts/run-in-platform-ui.mjs dev",
    "build": "node scripts/run-in-platform-ui.mjs build",
    "start": "node scripts/run-in-platform-ui.mjs start",
    "lint": "node scripts/run-in-platform-ui.mjs lint",
    "format": "prettier --write .",
    "type-check": "node scripts/run-in-platform-ui.mjs type-check",
    "test": "jest",
    "test:watch": "jest --watch",
    "test:coverage": "jest --coverage"
  },
  "dependencies": {
    "@tanstack/react-query": "^5.0.0",
    "@tanstack/react-query-devtools": "^5.0.0",
    "@trpc/client": "^10.45.0",
    "@trpc/react-query": "^10.45.0",
    "@trpc/server": "^10.45.0",
    "axios": "^1.6.0",
    "bcryptjs": "^2.4.3",
    "class-variance-authority": "^0.7.0",
    "clsx": "^2.0.0",
    "jsonwebtoken": "^9.0.0",
    "next": "^14.0.0",
    "react": "^18.2.0",
    "react-dom": "^18.2.0",
    "redis": "^4.6.0",
    "tailwind-merge": "^2.0.0",
    "ws": "^8.14.0",
    "zod": "^3.22.0"
  },
  "devDependencies": {
    "@tailwindcss/aspect-ratio": "^0.1.0",
    "@tailwindcss/forms": "^0.5.0",
    "@tailwindcss/typography": "^0.5.0",
    "@testing-library/jest-dom": "^6.6.4",
    "@testing-library/react": "^14.0.0",
    "@types/bcryptjs": "^2.4.0",
    "@types/jest": "^30.0.0",
    "@types/jsonwebtoken": "^9.0.0",
    "@types/node": "^20.0.0",
    "@types/react": "^18.2.0",
    "@types/react-dom": "^18.2.0",
    "@types/ws": "^8.5.0",
    "@typescript-eslint/eslint-plugin": "^6.0.0",
    "@typescript-eslint/parser": "^6.0.0",
    "autoprefixer": "^10.4.0",
    "eslint": "^8.0.0",
    "eslint-config-next": "^14.0.0",
    "eslint-config-prettier": "^9.0.0",
    "eslint-plugin-prettier": "^5.0.0",
    "fast-check": "^3.4.0",
    "jest": "^29.0.0",
    "jest-environment-jsdom": "^29.0.0",
    "postcss": "^8.4.0",
    "prettier": "^3.0.0",
    "tailwindcss": "^3.3.0",
    "ts-jest": "^29.4.0",
    "typescript": "^5.0.0"
  },
  "jest": {
    "testEnvironment": "jsdom",
    "setupFilesAfterEnv": [
      "<rootDir>/jest.setup.js"
    ],
    "moduleNameMapper": {
      "^@/(.*)$": "<rootDir>/platform/ui/src/$1",
      "^@/types/(.*)$": "<rootDir>/platform/ui/src/types/$1",
      "^@/lib/(.*)$": "<rootDir>/platform/ui/src/lib/$1",
      "^@/components/(.*)$": "<rootDir>/platform/ui/src/components/$1"
    },
    "transform": {
      "^.+\\.(ts|tsx)$": [
        "ts-jest",
        {
          "tsconfig": "platform/ui/tsconfig.jest.json"
        }
      ]
    },
    "testMatch": [
      "**/__tests__/**/*.(ts|tsx)",
      "**/*.(test|spec).(ts|tsx)"
    ],
    "collectCoverageFrom": [
      "platform/ui/src/**/*.{ts,tsx}",
      "!platform/ui/src/**/*.d.ts"
    ],
    "moduleFileExtensions": ["ts", "tsx", "js", "jsx", "json"]
  },
  "engines": {
    "node": ">=20.0.0",
    "npm": ">=9.0.0"
  },
  "repository": {
    "type": "git",
    "url": "https://github.com/fraware/spec-to-proof.git"
  },
  "keywords": [
    "formal-verification",
    "lean4",
    "rust",
    "typescript",
    "nlp",
    "proof-generation",
    "specification",
    "mathematics"
  ],
  "author": "Spec-to-Proof Team",
  "license": "MIT"
}