StateProof/package.json at main · SurefireStudios/StateProof · 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
{
  "name": "stateproof",
  "version": "1.0.0",
  "private": true,
  "license": "MIT",
  "type": "module",
  "packageManager": "pnpm@8.12.0",
  "engines": {
    "node": ">=22.12.0",
    "pnpm": ">=8.12.0"
  },
  "scripts": {
    "typecheck": "tsc --noEmit -p tsconfig.json && tsc --noEmit -p apps/product/tsconfig.client.json",
    "test": "vitest run",
    "test:watch": "vitest",
    "benchmark:validate": "tsx packages/benchmark/src/cli/validate.ts",
    "benchmark:validate-hard": "tsx packages/benchmark/src/cli/validate-hard.ts",
    "benchmark:smoke-model": "tsx packages/agents/src/cli/smoke-model.ts",
    "benchmark:baseline": "tsx packages/agents/src/cli/baseline.ts",
    "benchmark:baseline-hard": "tsx packages/agents/src/cli/baseline-hard.ts",
    "benchmark:stateproof-hard": "tsx packages/agents/src/cli/stateproof-hard.ts",
    "product:dev": "pnpm --filter product dev",
    "product:build": "pnpm --filter product build",
    "product:start": "pnpm --filter product start",
    "product:test": "vitest run apps/product/test",
    "dashboard:build": "pnpm --filter dashboard build",
    "dev": "pnpm --filter dashboard dev",
    "reproduce": "tsx scripts/reproduce.ts",
    "verify": "tsx scripts/verify.ts",
    "reproduce:check": "tsx scripts/reproduce.ts --check-only",
    "test:clean-reproduction": "tsx scripts/clean-reproduction.ts",
    "submission:finalize": "tsx scripts/finalize-submission.ts",
    "submission:summary": "tsx scripts/generate-submission-summary.ts",
    "submission:manifest": "tsx scripts/generate-reproduction-manifest.ts",
    "compare:development": "tsx scripts/compare-development-runs.ts",
    "package:submission": "tsx scripts/package-submission.ts",
    "scan:secrets": "tsx scripts/scan-secrets.ts",
    "check:provenance": "tsx scripts/check-run-provenance.ts",
    "fixtures:generate": "tsx scripts/generate-fixtures.ts",
    "fixtures:generate-hard": "tsx scripts/generate-hard-fixtures.ts",
    "sample:build": "tsx scripts/build-sample-package.ts",
    "final:verify": "tsx scripts/final-verify.ts",
    "product:server:build": "pnpm --filter product server:build",
    "deploy:verify": "tsx scripts/deploy-verify.ts",
    "media:capture": "tsx scripts/capture-media.ts"
  },
  "devDependencies": {
    "@types/node": "22.20.1",
    "playwright": "1.63.0",
    "tsx": "4.23.13",
    "typescript": "7.0.2",
    "vitest": "5.0.0"
  },
  "repository": {
    "type": "git",
    "url": "https://github.com/SurefireStudios/StateProof"
  },
  "description": "Evidence-backed verification for action-taking AI agents: compile the task into a contract once, then verify every run against real state and trajectory evidence with zero model calls.",
  "homepage": "https://surefirestudios.github.io/StateProof/",
  "bugs": {
    "url": "https://github.com/SurefireStudios/StateProof/issues"
  },
  "keywords": [
    "ai-agents",
    "agent-evaluation",
    "verification",
    "llm-evals",
    "benchmark",
    "typescript",
    "deterministic",
    "evidence"
  ]
}