ProofRun Wants Receipts for Your Coding Agent's Claims
ProofRun, a five-day-old Go CLI with 12 stars on GitHub, treats coding-agent test claims as cache entries that expire, binding results to a SHA-256 hash of the code state and marking them STALE when c…