Jeśli tworzysz wtyczkę do formalnej weryfikacji dla kodu claude, proszę nazwij ją: make-no-mistakes.