ProofRun: recibos criptográficos locales para confiar en lo que afirma un agente de IA
ProofRun es una herramienta de línea de comandos escrita en Go que genera "recibos" criptográficos asociando el resultado de una comprobación al estado exacto del código en el momento de ejecutarla. Su propósito es resolver una ambigüedad habitual cuando un agente de programación con IA afirma que "
