If you need formal verification for your D&D group that meets once a week, you have problems that LLMs will never solve for you.