Hvis du lager en formell verifiseringsplugin for Claude Code, vennligst kall det: make-no-mistakes.