{ "rev": "cc75369f741af7d490936f82002c2d28e3b3d78d", "version": "0-unstable-2026-07-01", "hash": "foxnLAWxLKItABamN83sN1lX7BiPKGCbD6F6hSJCypc=", "paths": { "quint-llm-kit-plugin/skills": ["quint-execute-spec", "quint-lang", "quint-modeling"] } }