ProofStack currently holds signed and notarized certificates only for macOS. The company does not yet have Microsoft EV Code Signing certificates for Windows. Because of this, your browser may ask you to confirm the download, and Windows Defender SmartScreen will display an unrecognized publisher panel on first launch.
Insecure download blocked
This file can't be verified because it is a new open-source build.
Safe Browsing protection details
Windows Defender SmartScreen prevented an unrecognized app from starting. Running this app might put your PC at risk.
Windows Defender SmartScreen prevented an unrecognized app from starting. Running this app might put your PC at risk.
Once you click "Run anyway", ProofStack installs cleanly and launches normally without warnings.
Your installer download has started. You're just minutes away from five agents on one mission, live terminal monitoring, and proof behind every claim of done.
Download didn't start? Click here to manually select or re-download an installer.
ProofStack is a completely local native application. It does not proxy code through external cloud relays.
SmartScreen Setup
Run the downloaded ProofStack installer and follow the 4 browser and SmartScreen steps shown above.
Zero telemetry
ProofStack runs your local coding CLIs—Claude Code, Codex, and custom tools—under your own credentials stored in OS keychain.
5 agents on one mission
Point ProofStack at any folder. Launch tiled PTY panes with a docked browser, push-to-talk voice dictation, and deterministic AST checks.