RecodeX 重构消息，GitHub用户yebiguo发布开源项目ProofRun，定位为面向AI编程代理的本地验证凭证工具。该项目通过生成可验证的执行记录，帮助开发者确认AI编码代理的工作产物。目前仓库已公开，具体实现细节尚待披露。