ProofRun

Cryptographic local verification receipts for AI coding agents

Desktopfreeglobal

ProofRun is a free, open-source local verification tool for AI coding agents that produces a cryptographic receipt proving which checks actually ran and passed, rather than relying on the model's own self-reported claim that the code is correct.

Website

Full match profile

Behind the summary, Matchbox keeps a richer profile of ProofRun - the signals our matcher actually reads to decide when to surface it. It stays private; claim the listing to see and control it.

Problem & pain-point mapping
Who we surface it to (audience fit)
What it's a strong alternative to
Trust & credibility signals

Claim ProofRun to unlock →

Something wrong with this listing — dead link, not a real product, wrong info?

Try Matchbox with your own problem

Describe what is not working - we’ll show you whether ProofRun (or something else) actually fits.

Try a problem