A new LLM-friendly library for Model-Based Testing

We launched Quint Connect, a library for Model-Based Testing in Rust