Dungeons & Dragons rules are a spec spanning thousands of pages, not formalized, but thoroughly tested by the community. Moving them to a formal specification language (Quint) was an obvious next step. It worked and proved to also be a great LLM self-checker.

Great

The "Grapple Leapfrog" is like the peasant railgun, and I think the "real" solution would be a recognition that order of conflict resolution in real time is not the same as ordering linear activities in game time.

This is so cool, I'll definitely be playing with in over the weekend. I meant to put Quint and D&D together in some similar ideas before but never found the time, so I love to see this coming alive from someone else <3

Shit like this results from a severe misunderstanding of what's enjoyable in a table-top RPG. It's not a fucking video game.

I think this is fantastic. I recently started playing DnD with a local group and can’t wait to dive into this to better understand the mechanics.

Maybe the content is great, but the AI writing style is really grating with its staccato sentences and "profoundness". Can't bear it any more, stopped reading.

"You’re not checking logic. You’re checking shape.". Ugh.