{"type": "article", "title": "ProofRun – a local verification receipt for AI coding agents", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/proofrun-a-local-verification-receipt-for-ai-coding-agents", "original_source": "https://github.com/yebiguo/ProofRun", "published": "2026-08-16T03:22:15+00:00", "accessed": "2026-08-16", "id": "proofrun-a-local-verification-receipt-for-ai-coding-agents"}