Wenn Sie ein formales Verifizierungs-Plugin für Claude-Code erstellen, nennen Sie es bitte: make-no-mistakes.