{
  "name": "proofery",
  "version": "0.1.0",
  "description": "A mathematical proof verifier written in TypeScript",
  "type": "module",
  "main": "dist/index.js",
  "types": "dist/index.d.ts",
  "bin": {
    "proofery": "./dist/cli.js"
  },
  "exports": {
    ".": {
      "types": "./dist/index.d.ts",
      "require": "./dist/index.js",
      "import": "./dist/index.js"
    },
    "./nodeParser": {
      "types": "./dist/nodeParser.d.ts",
      "require": "./dist/nodeParser.js",
      "import": "./dist/nodeParser.js"
    }
  },
  "files": [
    "dist",
    "README.md",
    "LICENSE"
  ],
  "scripts": {
    "build": "tsc",
    "start": "node dist/index.js",
    "dev": "tsc && node dist/index.js"
  },
  "keywords": [
    "proof",
    "verification",
    "mathematics",
    "theorem"
  ],
  "author": "Jeremy Magland",
  "license": "MIT",
  "devDependencies": {
    "@types/node": "^20.0.0",
    "typescript": "^5.3.0"
  },
  "engines": {
    "node": ">=18.0.0"
  }
}