@nforma.ai/nforma
github.comExplore documented capabilities and connections for @nforma.ai/nforma.
What your agent can do
nForma — Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM). Consensus before code, proof before production.
Via CLI.
Tasks depend on the interface and permissions.
Connection methods
Choose a route that fits your agent.
CLI
For agents with a terminal
View setup for CLICLI connection
CLI package
@nforma.ai/nforma