ProofRun er et åpen kildekode-verktøy som genererer lokale verifiseringskvitteringer for å bekrefte at AI-kodeagenter faktisk har utført og testet endringene de hevder å ha gjort.

Kilde: https://github.com/yebiguo/ProofRun