{"type": "article", "title": "ProofRun solves the \"black box\" problem for AI coding agents", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/proofrun-solves-the-black-box-problem-for-ai-coding-agents", "original_source": "https://promptcube3.com/en/news/6541/", "published": "2026-08-16T05:42:32+00:00", "accessed": "2026-08-16", "id": "proofrun-solves-the-black-box-problem-for-ai-coding-agents"}