anvil-verifier/anvil

**Brief Summary (2‑3 sentences)** Anvil is an experimental Rust framework for building formally verified, cluster‑management controllers that also streamlines t