IC3‑Evolve uses a LLM to generate small, slot‑restricted patches for the IC3 model‑checking engine. Each candidate patch is gated by a proof or witness, ensuring only safe changes survive. The framework runs offline, so it can explore many heuristics without affecting production verification. Practitioners can adopt the resulting patches to boost IC3 performance without manual tuning.