Se stai creando un plugin di verifica formale per il codice claude, per favore chiamalo: make-no-mistakes.