MIZAN · Offline engine
Distributed on request.
The offline proving engine (the prover that runs entirely on your own machine, so your strategy never leaves it) is currently distributed directly to verified quants rather than by open download.
Kits ship under NDA and are individually watermarked per recipient: every copy is traceable. That discipline is part of why the sealed engine can be trusted at all.
Meanwhile
Three things you can do without asking.
See it
The offline app
See exactly what the offline app looks like before you request it.
Mint now
The hosted studio
Submit a strategy, queue a proof and receive a credential in the hosted studio.
Verify
No permission needed
Verifying credentials needs no request: the verifier is open to everyone, forever.