oggi abbiamo lavorato per rafforzare agenc-prover - stiamo sistemando la semantica della prova, bloccando /prove e ripulendo la catena di fornitura di docker. Piccolo repository, vero lavoro di sicurezza, tutto in pubblico ://