{"name":"quint-co-quint-llm-kit-quint-llm-kit-plugin","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"quint-co-quint-llm-kit-quint-llm-kit-plugin","source":{"source":"git-subdir","url":"https://github.com/quint-co/quint-llm-kit","path":"quint-llm-kit-plugin"},"description":"Agent skills for working with Quint — the formal specification language for distributed systems. Covers spec writing, TLA+ translation, code-to-spec generation, spec review, and verification framing.","version":"1.0.0","strict":true,"keywords":["quint","formal-verification","model-checking","distributed-systems","tla-plus","specification"],"category":"deployment"}]}