{"bin":{"nforma":"bin/nforma-cli.js","get-shit-done-cc":"bin/install.js"},"bugs":{"url":"https://github.com/nForma-AI/nForma/issues"},"dist":{"shasum":"84c43cb34862aa7b1f443ac6016f5eec281b574d","tarball":"https://registry.npmjs.org/@nforma.ai/nforma/-/nforma-0.44.3.tgz","fileCount":712,"integrity":"sha512-o63OPwhpduzH6eVFi8un4rWkd36FhL0iPfsxFGSAlXCiDUIaBAfyQ2mixhh6/OOZeW/vl3fm1jWj3Ld2f34zHw==","signatures":[{"sig":"MEQCIDOEUI6KWaLIPg1gLzZPGrgtjTmt3FI23mH4of1+KKE1AiBPaDt6grze9JOuBGYFvRZHYu8yWQcMA6iIPFDLSjQNag==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@nforma.ai%2fnforma@0.44.3","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":6793470},"name":"@nforma.ai/nforma","author":{"name":"nForma AI"},"engines":{"node":">=18.0.0"},"gitHead":"58ac28501dbb80da7c2e7e435d0dbd10154ee043","license":"MIT","scripts":{"test":"npm run test:ci && npm run test:tui && npm run test:formal","prepare":"husky","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/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 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/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/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","test:tui":"NF_TEST_MODE=1 node scripts/run-tui-tests.cjs","assets:tui":"NF_REPO=\"$PWD\" vhs scripts/tui-screenshot.tape","fsm-to-tla":"node bin/fsm-to-tla.cjs","build:hooks":"node scripts/build-hooks.js","embed:build":"node bin/proximity-embed.mjs --cache-only","postinstall":"node scripts/postinstall.js && (npm run embed:build || true)","publish:npm":"bash scripts/publish.sh","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","check:assets":"node bin/check-assets-stale.cjs","secrets:scan":"detect-secrets scan --baseline .secrets.baseline","test:changed":"node bin/test-changed.cjs","test:install":"node --test test/install-virgin.test.cjs","formal-verify":"node bin/run-formal-verify.cjs","generate-logo":"node scripts/generate-logo-svg.js","secrets:audit":"detect-secrets audit .secrets.baseline","xstate-to-tla":"node bin/xstate-to-tla.cjs","build:machines":"npx tsup src/machines/nf-workflow.machine.ts --format cjs --out-dir dist/machines --no-splitting --tsconfig tsconfig.formal.json","lint:isolation":"node scripts/lint-isolation.js","prepublishOnly":"npm run build:hooks","benchmark:solve":"node $HOME/code/nf-benchmark/bin/nf-benchmark.cjs run --project-root $(pwd)","generate-assets":"npm run generate-terminal && npm run generate-logo && npm run assets:tui","secrets:history":"bash scripts/secret-audit.sh","secrets:gitleaks":"gitleaks detect --no-banner --source . --config .gitleaks.toml --redact --verbose","formal-verify:tla":"node bin/run-formal-verify.cjs --only=tla","generate-terminal":"node scripts/generate-terminal-svg.js","formal-verify:alloy":"node bin/run-formal-verify.cjs --only=alloy","formal-verify:petri":"node bin/run-formal-verify.cjs --only=petri","formal-verify:prism":"node bin/run-formal-verify.cjs --only=prism","benchmark:solve:local":"node bin/nf-benchmark-solve.cjs --track=all"},"_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:054e88f5-d612-4544-a21d-d15a1b3aea1c"}},"homepage":"https://github.com/nForma-AI/nForma","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"],"overrides":{},"repository":{"url":"git+https://github.com/nForma-AI/nForma.git","type":"git"},"_npmVersion":"11.19.0","description":"nForma — Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM). Consensus before code, proof before production.","directories":{},"lint-staged":{},"maintainers":[{"name":"jborduas","email":"jonathan@borduasholdings.com"}],"_nodeVersion":"22.23.1","dependencies":{"blessed":"^0.1.81","inquirer":"^8.2.7","@xterm/headless":"^5.5.0","@huggingface/transformers":"^3.0.0"},"publishConfig":{"access":"public","registry":"https://registry.npmjs.org/"},"_hasShrinkwrap":false,"devDependencies":{"tsup":"^8.5.1","husky":"^9.1.7","xstate":"^5.28.0","esbuild":"^0.27.3","js-yaml":"^4.1.1","typescript":"^5.9.3","@types/node":">=18","lint-staged":"^16.3.2","json-diff-ts":"^1.2.8","@hpcc-js/wasm-graphviz":"^1.21.2"},"optionalDependencies":{"web-tree-sitter":"^0.26.8","tree-sitter-python":"^0.25.0","tree-sitter-javascript":"^0.25.0","tree-sitter-typescript":"^0.23.2"},"_npmOperationalInternal":{"tmp":"tmp/nforma_0.44.3_1786107047123_0.837055394928526","host":"s3://npm-registry-packages-npm-production"},"_id":"@nforma.ai/nforma@0.44.3","version":"0.44.3"}