model-checking/kani

**Brief Summary (2‑3 sentences)** Kani is an open‑source Rust verifier that uses model‑checking techniques to prove the absence of undefined behavior, memory sa