Claude і формальна верифікація: що довели для 123 бібліотек
Авторський шаблон редакції Вайб-Кодинг
https://vibe-coding.com.ua/claude-formalna-verifikatsiia-kodu

Перевір конкретну властивість мого проєкту: [сформулюй правило].
1. Вкажи, які файли та сценарії стосуються цього правила.
2. Назви припущення, без яких висновок не діє.
3. Запропонуй приклад, що міг би порушити правило.
4. Виконай доступну перевірку й покажи фактичний результат.
5. Окремо переліч, що залишилося неперевіреним.
Якщо це звичайні тести, так і назви їх. Не називай пояснення формальним доказом. Не змінюй правило лише заради успішної перевірки.