Si vous créez un plugin de vérification formelle pour le code de Claude, veuillez l'appeler : ne-faites-pas-d'erreurs.