@nforma.ai/nforma
Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM) for Claude Code, OpenCode, and Gemini CLI. Fewer hallucinations, fewer blind spots, mathematically proven protocols.
Activity
- Latest release
- 1mo ago
- Total releases
- 63
- Cadence
- ~daily
- Last 12 months
- 63
Reach
- Downloads (recent)
- 39
- Stars
- 33
Details
- License
- MIT
- First release
- Mar 05, 2026
Releases
1–50 of 63