@firfi/quint-connect/package.json

Model-based testing framework connecting Quint specifications to TypeScript implementations

{
  "name": "@firfi/quint-connect",
  "version": "0.8.2",
  "description": "Model-based testing framework connecting Quint specifications to TypeScript implementations",
  "type": "module",
  "main": "./dist/index.js",
  "types": "./dist/index.d.ts",
  "exports": {
    ".": {
      "types": "./dist/index.d.ts",
      "default": "./dist/index.js"
    },
    "./effect": {
      "types": "./dist/effect.d.ts",
      "default": "./dist/effect.js"
    },
    "./vitest": {
      "types": "./dist/vitest.d.ts",
      "default": "./dist/vitest.js"
    },
    "./zod": {
      "types": "./dist/zod.d.ts",
      "default": "./dist/zod.js"
    },
    "./vitest-simple": {
      "types": "./dist/vitest-simple.d.ts",
      "default": "./dist/vitest-simple.js"
    }
  },
  "files": [
    "dist",
    "skills",
    "bin",
    "!skills/_artifacts"
  ],
  "publishConfig": {
    "access": "public"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/dearlordylord/quint-connect-ts.git"
  },
  "bugs": {
    "url": "https://github.com/dearlordylord/quint-connect-ts/issues"
  },
  "homepage": "https://github.com/dearlordylord/quint-connect-ts#readme",
  "keywords": [
    "quint",
    "model-based-testing",
    "formal-methods",
    "formal-verification",
    "specification",
    "testing",
    "itf",
    "effect",
    "property-based-testing",
    "state-machine",
    "tanstack-intent"
  ],
  "author": "dearlordylord",
  "license": "Apache-2.0",
  "peerDependencies": {
    "effect": "^3.0.0",
    "vitest": ">=1.0.0",
    "zod": ">=4.0.0"
  },
  "peerDependenciesMeta": {
    "vitest": {
      "optional": true
    },
    "effect": {
      "optional": true
    },
    "zod": {
      "optional": true
    }
  },
  "dependencies": {
    "@firfi/itf-trace-parser": "0.1.2",
    "@standard-schema/spec": "^1.1.0",
    "effect": "^3.19.15"
  },
  "lint-staged": {
    "*.ts": "eslint --fix"
  },
  "devDependencies": {
    "@changesets/cli": "^2.30.0",
    "@effect/eslint-plugin": "^0.3.2",
    "@effect/language-service": "^0.73.1",
    "@effect/vitest": "latest",
    "@eslint/compat": "^2.0.2",
    "@tanstack/intent": "^0.0.14",
    "@types/node": "^25.1.0",
    "@typescript-eslint/parser": "^8.54.0",
    "eslint": "^9.39.2",
    "eslint-import-resolver-typescript": "^4.4.4",
    "eslint-plugin-functional": "^9.0.2",
    "eslint-plugin-import": "^2.32.0",
    "eslint-plugin-import-x": "^4.16.1",
    "eslint-plugin-simple-import-sort": "^12.1.1",
    "eslint-plugin-sort-destructure-keys": "^2.0.0",
    "husky": "^9.1.7",
    "jscpd": "^4.0.8",
    "lint-staged": "^16.2.7",
    "madge": "^8.0.0",
    "typescript": "^5.9.3",
    "typescript-eslint": "^8.54.0",
    "vitest": "latest",
    "zod": "^4.3.6"
  },
  "bin": {
    "intent": "./bin/intent.js"
  },
  "scripts": {
    "build": "rm -rf dist tsconfig.build.tsbuildinfo && tsc -p tsconfig.build.json",
    "typecheck": "tsc -p tsconfig.json --noEmit 2>&1 | { grep -E '^(src/|test/)' && exit 1 || exit 0; }",
    "test": "vitest run",
    "test:coverage": "vitest run --coverage",
    "test:watch": "vitest",
    "lint": "eslint src test examples --ext .ts && jscpd src",
    "lint:fix": "eslint src test examples --ext .ts --fix",
    "check-format": "eslint src test examples --ext .ts --rule '@effect/dprint: error'",
    "ci": "pnpm build && pnpm typecheck && pnpm lint && pnpm test",
    "circular": "madge --extensions ts --circular src",
    "local-release": "changeset version && changeset publish"
  }
}