opening pane
▌
opening pane
ProofStack for desktop v0.1.7
Your coding agents, terminals, and browser. One workspace.
Download ProofStack for your computer.
For Macs with an M-series chip.
DMG installer · 17.1 MB · v0.1.7 · GitHub · always latest
For Windows 10 and 11, 64-bit.
EXE installer · 14.3 MB · v0.1.7 · GitHub · always latest
Open the Apple menu → About This Mac. The Chip field should show an Apple M-series chip.
Windows may show a SmartScreen prompt when you open the installer. View the installation guide for help.
By downloading, you agree to the EULA and Privacy Policy.