Se você está criando um plugin de verificação formal para o código claude, por favor, chame-o de: make-no-mistakes.