Customer install surface
Install Proof.
This page is for teams already running Proof: every published install path for the product binary, in one place.Use the connected install paths for day-to-day developer onboarding, or mirror the same approved artifacts into an internal environment for air-gapped and controlled enterprise deployments.
https://downloads.reqproof.com/releases/latest/
The rolling channel. Tagged releases live under …/releases/<version>/.
01 · Connected install
The rolling channel.
Use the rolling latest channel when you want the newest merged build. Every artifact below is a direct download.
Checksums
Verify downloaded artifacts against proof_checksums.txt.
Homebrew
02 · Offline install
Mirror approved artifacts.
Proof itself works offline after installation. Mirror the approved artifacts into your own distribution path; the typical air-gapped sequence is below.
- Download the approved artifact and the matching checksums file from a connected environment.
- Mirror the files internally under your own approved distribution path.
- Install
prooffrom that mirrored archive or package. - Run
proof versionto confirm version, commit, and build date.
For strict offline verification, pre-stage Kind2 and Z3 and run with REQPROOF_NO_DOWNLOAD=1.
03 · CI/CD
GitHub Action on every pull request.
Run the audit with the official action — install, cache, and PR summary handled for you.
name: ReqProof Audit
on: [push, pull_request]
jobs:
audit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: probelabs/proof-action@v1
with:
fail-level: warnThe action installs via Homebrew (with fallback to direct binary download), runs proof audit, and writes the result to the PR step summary. See the action README for inputs and examples.
04 · Release channels
Latest vs tagged releases.
Latest
The rolling latest channel, refreshed from merges to main. Use for fast internal adoption.
Tagged versions
Immutable artifacts under https://downloads.reqproof.com/releases/<version>/. Use for pinning, approvals, and reproducible support.
Need a mirrored or licensed enterprise rollout? Contact [email protected].
05 · After install
Where the binary fits.
The binary enforces a written bar inside a standing engagement. Both are documented in full.