package.json

{
  "name": "@nforma.ai/nforma",
  "version": "0.44.3",
  "description": "nForma \u2014 Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM). Consensus before code, proof before production.",
  "bin": {
    "nforma": "bin/nforma-cli.js",
    "get-shit-done-cc": "bin/install.js"
  },
  "files": [
    "bin",
    "commands",
    "core",
    "get-shit-done",
    "agents",
    "hooks/dist",
    "!hooks/dist/*.test.*",
    "scripts",
    "!scripts/generate-logo-svg.js",
    "!scripts/generate-terminal-svg.js",
    "!scripts/lint-isolation.js",
    "!scripts/publish.sh",
    "!scripts/*.tape",
    "!**/*.test.*",
    "!**/*.test.cjs",
    "!**/*.test.js"
  ],
  "keywords": [
    "claude",
    "claude-code",
    "ai",
    "ai-agent",
    "multi-agent",
    "quorum",
    "formal-verification",
    "tla-plus",
    "alloy",
    "mcp",
    "meta-prompting",
    "context-engineering",
    "spec-driven-development",
    "autonomous-agent",
    "devtools",
    "gemini",
    "gemini-cli",
    "opencode"
  ],
  "author": "nForma AI",
  "license": "MIT",
  "publishConfig": {
    "access": "public",
    "registry": "https://registry.npmjs.org/"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/nForma-AI/nForma.git"
  },
  "homepage": "https://github.com/nForma-AI/nForma",
  "bugs": {
    "url": "https://github.com/nForma-AI/nForma/issues"
  },
  "engines": {
    "node": ">=18.0.0"
  },
  "dependencies": {
    "@huggingface/transformers": "^3.0.0",
    "@xterm/headless": "^5.5.0",
    "blessed": "^0.1.81",
    "inquirer": "^8.2.7"
  },
  "devDependencies": {
    "@hpcc-js/wasm-graphviz": "^1.21.2",
    "@types/node": ">=18",
    "esbuild": "^0.27.3",
    "husky": "^9.1.7",
    "js-yaml": "^4.1.1",
    "json-diff-ts": "^1.2.8",
    "lint-staged": "^16.3.2",
    "tsup": "^8.5.1",
    "typescript": "^5.9.3",
    "xstate": "^5.28.0"
  },
  "optionalDependencies": {
    "tree-sitter-javascript": "^0.25.0",
    "tree-sitter-python": "^0.25.0",
    "tree-sitter-typescript": "^0.23.2",
    "web-tree-sitter": "^0.26.8"
  },
  "overrides": {},
  "lint-staged": {},
  "scripts": {
    "postinstall": "node scripts/postinstall.js && (npm run embed:build || true)",
    "build:hooks": "node scripts/build-hooks.js",
    "build:machines": "npx tsup src/machines/nf-workflow.machine.ts --format cjs --out-dir dist/machines --no-splitting --tsconfig tsconfig.formal.json",
    "generate-terminal": "node scripts/generate-terminal-svg.js",
    "generate-logo": "node scripts/generate-logo-svg.js",
    "assets:tui": "NF_REPO=\"$PWD\" vhs scripts/tui-screenshot.tape",
    "generate-assets": "npm run generate-terminal && npm run generate-logo && npm run assets:tui",
    "check:assets": "node bin/check-assets-stale.cjs",
    "publish:npm": "bash scripts/publish.sh",
    "prepublishOnly": "npm run build:hooks",
    "xstate-to-tla": "node bin/xstate-to-tla.cjs",
    "fsm-to-tla": "node bin/fsm-to-tla.cjs",
    "formal-verify": "node bin/run-formal-verify.cjs",
    "formal-verify:tla": "node bin/run-formal-verify.cjs --only=tla",
    "formal-verify:alloy": "node bin/run-formal-verify.cjs --only=alloy",
    "formal-verify:prism": "node bin/run-formal-verify.cjs --only=prism",
    "formal-verify:petri": "node bin/run-formal-verify.cjs --only=petri",
    "benchmark:solve": "node $HOME/code/nf-benchmark/bin/nf-benchmark.cjs run --project-root $(pwd)",
    "benchmark:solve:local": "node bin/nf-benchmark-solve.cjs --track=all",
    "lint:isolation": "node scripts/lint-isolation.js",
    "secrets:gitleaks": "gitleaks detect --no-banner --source . --config .gitleaks.toml --redact --verbose",
    "secrets:scan": "detect-secrets scan --baseline .secrets.baseline",
    "secrets:audit": "detect-secrets audit .secrets.baseline",
    "secrets:history": "bash scripts/secret-audit.sh",
    "test": "npm run test:ci && npm run test:tui && npm run test:formal",
    "test:changed": "node bin/test-changed.cjs",
    "test:ci": "node scripts/lint-isolation.js && node scripts/verify-hooks-sync.cjs && node --test hooks/nf-precompact.test.js hooks/nf-context-monitor.test.js hooks/nf-session-start.test.js bin/conformance-schema.test.cjs bin/resolve-cli.test.cjs bin/secrets.test.cjs bin/verify-quorum-health.test.cjs hooks/nf-stop.test.js hooks/config-loader.test.js hooks/config-loader-validate-adversarial.test.cjs hooks/config-loader-load-adversarial.test.cjs hooks/config-loader-adversarial2.test.cjs core/bin/nf-tools.test.cjs hooks/nf-circuit-breaker.test.js hooks/nf-prompt.test.js bin/update-scoreboard.test.cjs bin/quota-reset-cooldown.test.cjs bin/update-scoreboard-recording-adversarial.test.cjs bin/update-scoreboard-availability-adversarial.test.cjs bin/update-scoreboard-adversarial2.test.cjs hooks/nf-statusline.test.js bin/review-mcp-logs.test.cjs bin/migrate-to-slots.test.cjs bin/validate-traces.test.cjs bin/write-check-result.test.cjs bin/check-results-exit.test.cjs bin/check-trace-redaction.test.cjs bin/check-trace-schema-drift.test.cjs bin/nForma.test.cjs bin/set-secret.test.cjs bin/issue-classifier.test.cjs bin/generate-tla-cfg.test.cjs bin/ccr-secure-config.test.cjs bin/nf-quorum-slot-worker-improvements.test.cjs bin/quorum-improvements-signal.test.cjs bin/quorum-checkpoint.test.cjs bin/claude-md-references.test.cjs hooks/nf-spec-regen.test.js bin/propose-debug-invariants.test.cjs bin/proximity-embed-lazy-load.test.cjs bin/aggregate-requirements.test.cjs bin/validate-invariant.test.cjs bin/validate-memory.test.cjs bin/validate-requirements-haiku.test.cjs bin/call-quorum-slot-retry.test.cjs bin/provider-mapping.test.cjs bin/provider-concurrency.test.cjs bin/token-dashboard.test.cjs bin/batch7-guards.test.cjs bin/execution-progress.test.cjs bin/memory-store.test.cjs hooks/nf-session-end.test.js bin/skill-extractor.test.cjs bin/learning-extractor.test.cjs bin/continuous-verify.test.cjs bin/context-retriever.test.cjs bin/context-stack.test.cjs hooks/nf-destructive-git-guard.test.js bin/worktree-merge.test.cjs bin/call-quorum-slot-latency.test.cjs bin/nforma-cli.test.cjs bin/solve-trend.test.cjs bin/dedup-changelog.test.cjs bin/changelog-sections.test.cjs bin/oscillation-detector.test.cjs bin/gate-stability.test.cjs bin/predictive-power.test.cjs bin/convergence-report.test.cjs bin/escalation-classifier.test.cjs test/formal-scope-scan-semantic.test.cjs bin/repowise/escape-xml.test.cjs bin/repowise/pack-file.test.cjs bin/repowise/context-packer.test.cjs bin/repowise/hotspot.test.cjs bin/repowise/resolve-hotspot-risk.test.cjs bin/repowise/cochange.test.cjs bin/repowise/inject-cochange-debug.test.cjs bin/repowise/skeleton.test.cjs bin/repowise/budget-compressor.test.cjs test/providers-path-consolidation.test.cjs test/quorum-consensus-gate-cluster.test.cjs test/quorum-preflight-maintool-healthy.test.cjs test/quorum-preflight-probe.test.cjs test/quorum-preflight-dedup.test.cjs bin/preflight-gate-validator.test.cjs bin/deep-probe-gate.test.cjs test/quorum-preflight-roster-adversarial.test.cjs test/quorum-preflight-roster-adversarial2.test.cjs test/quorum-preflight-probe-adversarial.test.cjs test/quorum-preflight-binary-cache.test.cjs test/resolve-providers-order.test.cjs test/proximity-resolve-guards.test.cjs test/observe-polyrepo-guards.test.cjs bin/no-side-effects-on-require.test.cjs bin/no-shipped-user-config.test.cjs bin/install-providers-precedence.test.cjs bin/alloy-exec.test.cjs test/install-mcp-nfbin.test.cjs bin/semaphore-concurrency.test.cjs bin/quorum-dispatch-argv.test.cjs bin/quorum-slot-dispatch.test.cjs bin/quorum-content-verdict-integrity.test.cjs bin/quorum-slot-authenticity.test.cjs bin/call-quorum-slot-cooldown-path.test.cjs hooks/nf-prompt-cache-budget.test.js bin/coderlm-adapter-filter.test.cjs bin/coderlm-skill-blocks.test.cjs bin/solve-commit-artifacts.test.cjs bin/solve-debt-bridge.test.cjs test/baseline-drift.test.cjs bin/cli-robustness.test.cjs bin/mcp-skill-embedded.test.cjs bin/skill-eval-args.test.cjs bin/observe-handler-upstream.test.cjs bin/skill-mcp-tool-names.test.cjs bin/skill-command-correctness.test.cjs bin/mcp-update-classify.test.cjs bin/formal-test-sync-safety.test.cjs bin/skill-papercut-sweep.test.cjs bin/roadmap-health-parser.test.cjs bin/mcp-setup-env-order.test.cjs bin/sync-baseline-dry-run.test.cjs bin/skill-cli-sweep.test.cjs bin/validate-requirements-staleness.test.cjs bin/audit-allowlist-precision.test.cjs bin/skill-eval-lint.test.cjs bin/machine-path-lint.test.cjs bin/release-guards.test.cjs bin/hooks-dist-completeness.test.cjs bin/quorum-resume.test.cjs bin/autonomous-grind.test.cjs bin/goal-writer-blocks.test.cjs bin/skill-mcp-lint.test.cjs bin/skill-invocation-lint.test.cjs bin/skill-state-guards.test.cjs bin/skill-state-parse-lint.test.cjs bin/map-codebase-secret-scan.test.cjs bin/verify-work-falsepass.test.cjs bin/solve-tui-itemkey.test.cjs bin/provider-arg-templates.test.cjs test/unified-mcp-server-slot-health.test.cjs bin/call-quorum-slot-stall-timeout.test.cjs bin/telemetry-window-source.test.cjs bin/mcp-repair-statusline-refresh.test.cjs bin/observe-config.test.cjs bin/observe-debt-writer.test.cjs bin/observe-handler-deps.test.cjs bin/observe-handler-grafana.test.cjs bin/observe-handler-logstash.test.cjs bin/observe-handler-prometheus.test.cjs bin/observe-handler-session-insights.test.cjs bin/observe-handlers.test.cjs bin/observe-registry.test.cjs bin/observe-render.test.cjs bin/observe-solve-pipe.test.cjs bin/observe-tooling.test.cjs bin/observed-fsm.test.cjs bin/observe-handler-internal.test.cjs bin/observe-pipeline.test.cjs bin/delegate-session.test.cjs bin/delegate-session-store.test.cjs bin/delegate-auditor.test.cjs bin/delegate-loop.test.cjs bin/coding-task-router.test.cjs",
    "embed:build": "node bin/proximity-embed.mjs --cache-only",
    "test:tui": "NF_TEST_MODE=1 node scripts/run-tui-tests.cjs",
    "test:install": "node --test test/install-virgin.test.cjs",
    "test:formal": "node --test bin/run-tlc.test.cjs bin/run-alloy.test.cjs bin/export-prism-constants.test.cjs bin/generate-petri-net.test.cjs bin/run-breaker-tlc.test.cjs bin/run-oscillation-tlc.test.cjs bin/run-protocol-tlc.test.cjs bin/run-audit-alloy.test.cjs bin/run-transcript-alloy.test.cjs bin/run-installer-alloy.test.cjs bin/run-formal-verify.test.cjs bin/xstate-to-tla.test.cjs bin/run-account-manager-tlc.test.cjs bin/run-account-pool-alloy.test.cjs bin/run-oauth-rotation-prism.test.cjs bin/run-prism.test.cjs bin/check-spec-sync.test.cjs bin/sensitivity-sweep-feedback.test.cjs bin/roadmapper-formal-integration.test.cjs bin/test-formal-integration.test.cjs test/alloy-headless.test.cjs bin/adapters/ir.test.cjs bin/adapters/emitter-tla.test.cjs bin/adapters/detect.test.cjs bin/adapters/scaffold-config.test.cjs bin/adapters/xstate-v5.test.cjs bin/adapters/xstate-v4.test.cjs bin/adapters/jsm.test.cjs bin/adapters/robot.test.cjs bin/adapters/asl.test.cjs bin/adapters/stately.test.cjs bin/adapters/python-transitions.test.cjs bin/adapters/sismic.test.cjs bin/adapters/looplab-fsm.test.cjs bin/adapters/qmuntal-stateless.test.cjs bin/fsm-to-tla.test.cjs bin/check-formal-discrimination.test.cjs bin/check-debug-chain.test.cjs bin/nf-property-bridge.test.cjs",
    "prepare": "husky"
  }
}