Als je een formele verificatieplugin voor claude code maakt, noem het dan: maak-geen-fouten.