nForma AI
Popular repositories Loading
-
nForma
nForma PublicForked from gsd-build/get-shit-done
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…
-
Repositories
Showing 2 of 2 repositories
- nf-benchmark Public
nForma-AI/nf-benchmark’s past year of commit activity - nForma Public Forked from gsd-build/get-shit-done
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.
nForma-AI/nForma’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…