{"name":"quint-co-quint","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"quint-co-quint","source":{"source":"github","repo":"quint-co/quint"},"description":"Skills for the Quint specification language: a language reference and a modeling guide for authoring .qnt specs.","version":"0.1.0","strict":true,"keywords":[],"category":"deployment"}]}