ProofRun – a local verification receipt for AI coding agents

Here's a brief summary and explanation of the project's value, adoption path, and production readiness: **Summary:** ProofRun is an open-source project that pro