model-checking/kani

**Kani (model‑checking/kani)** — это открытый Rust‑верификатор, позволяющий автоматически проверять свойства программ (например, отсутствие паники, соблюдение п