{"name":"qdelettre-xspec-plugins-xspec","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"qdelettre-xspec-plugins-xspec","source":{"source":"github","repo":"qdelettre/xspec"},"description":"Orchestrate executable-spec workflows (write, verify, debug, implement) from host Claude Code via a Dockerized runtime. v1 backend: Quint.","version":"0.1.2","strict":true,"keywords":[],"category":"productivity"}]}