{"server":{"id":"dearlordylord-5e-quint-bc069b68445f","name":"dearlordylord/5e-quint","title":"dearlordylord/5e-quint","description":"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.","category":"Other","transport":"Unknown","pricing":"Unknown","website":"https://github.com/dearlordylord/5e-quint","repository":"https://github.com/dearlordylord/5e-quint","version":"","manifest":"{\"name\":\"dearlordylord/5e-quint\",\"repository\":{\"url\":\"https://github.com/dearlordylord/5e-quint\"},\"remotes\":[],\"packages\":[]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"dearlordylord/5e-quint MCP server","seoDescription":"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 testin","createdAt":"2026-11-04T07:18:56.861Z","updatedAt":"2026-11-04T07:58:36.806Z"}}