Si estás creando un plugin de verificación formal para el código de claude, por favor llámalo: make-no-mistakes.