5e-quint

dearlordylord/5e-quint

D&D 5e SRD 5.2.1 game engine: create characters and run turn-based battles through MCP, backed by Quint formal models, rule-level proofs, and model-based testing.

  • Local integrations

Installation, supported tools and required credentials are maintained by the project.

Project details

GitHub stars
32
Language
TypeScript
License
Apache-2.0
Forks
3
Activity
updated today
First MCP server?Start with the basics
Esc

Type to search every entry. ↑↓ to move, Enter to open.