Kani

Kani в экосистеме Claude Code: 1 инструмент. Популярные: доказательство Kani Workers.io. У каждого — описание на русском, команда установки и ссылка на исходники.