{"name":"younes-io-tla-workbenches-plugins-tla-workbenches","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"younes-io-tla-workbenches-plugins-tla-workbenches","source":{"source":"github","repo":"younes-io/agent-skills"},"description":"TLA+ skills for checking specs and writing proofs.","version":"0.1.6","strict":true,"keywords":[],"category":"utilities"}]}