Comment by arpinum

I found Quint to be a good pairing with LLM. Easier syntax to learn so you are actually collaborating instead of relying on hope.