{"name":"brianwu02-tla-claude-code","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"brianwu02-tla-claude-code","source":{"source":"github","repo":"brianwu02/tla-claude-code"},"description":"TLA+ formal verification skill for Claude Code — finds concurrency bugs, race conditions, and UX flow issues","version":"1.0.0","strict":true,"keywords":[],"category":"utilities"}]}