Pokud vytváříte formální ověřovací plugin pro claude kód, nazvěte to: nedělej chyby.