An AI assistant next to Prover iLock: it reads everything, and changes nothing.