@nforma.ai/nforma
MITnForma — Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM). Consensus before code, proof before production.
100
Security score
0 known advisories in v0.44.2
Weekly downloads
—
Unpacked size
6.5 MB
Dependencies
3
Last publish
6 days ago
Security advisories
No known vulnerabilities affect v0.44.2.