{"name":"fabracht-tla-rs","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"fabracht-tla-rs","source":{"source":"github","repo":"fabracht/tla-rs"},"description":"TLA+ model checker as MCP tools — validate specs, list invariants, run checks, and replay counterexamples directly from Claude Code.","version":"0.4.3","strict":true,"keywords":["tla","tla-plus","model-checking","formal-verification","mcp"],"category":"productivity"}]}