{"name":"andrueandersoncs-tla-plus","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"andrueandersoncs-tla-plus","source":{"source":"github","repo":"andrueandersoncs/claude-tla-plus-plugin"},"description":"Generate TLA+ specifications, PlusCal algorithms, and TLC model configurations for formal verification of distributed systems, concurrent algorithms, and state machines","version":"1.0.0","strict":true,"keywords":["tla+","formal-verification","model-checking","distributed-systems","concurrency","specification"],"category":"deployment"}]}