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.
Request access: [email protected], a short note on who you are is enough.
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: see exactly what the offline app looks like, or mint in the hosted studio. Verifying credentials needs no permission, the verifier is open to everyone, forever.