One local binary plus the open analysis engine — for macOS, Linux, and Windows. No account, no card, no data leaves your machine. Binaries are published with SHA-256 checksums you can verify.
$ curl -sSL https://provadyne.com/install.sh | sh
macOS quick install — fetches the latest signed release, installs the daemon, and registers the launch agent. Prefer to do it by hand? Grab an archive below.
The daemon ships as a single binary. Each archive bundles the daemon, the native-messaging host, and the engine.
Manual install steps for each platform are in the bundled INSTALL.md. All assets live on the public downloads release — browse the full release.
Running in a pipeline or on a server with no desktop? Install just the analysis engine from PyPI — the same engine the desktop app ships.
$ pip install provadyne-engine
Or drop the native GitHub Action into a workflow — it installs the engine, runs the checks, and uploads SARIF to code scanning. See the snippet on the home page.
Functional-safety teams need to trust the toolchain. Here's exactly how these binaries are built and how to check them.
Every release publishes a checksums.sha256 over all archives. Verify before you run: download checksums, then shasum -a 256 -c.
Binaries are compiled by GitHub Actions from a tagged commit — the build log is public and auditable. The compiled artifacts are what we ship; nothing is hand-assembled.
Only compiled binaries and the open Python engine are published. The Go daemon source is not — so the Pro gate can't be patched out of a public tree.
Need cryptographically signed artifacts, an SBOM, reproducible builds, or delivery to an air-gapped network for a qualified toolchain? That's part of the Enterprise tier — contact sales and we'll arrange controlled delivery for your environment.