🏪

andrueandersoncs/claude-tla-plus-plugin

🏪Marketplace

Add this Marketplace

Add marketplace in Claude Code:

$/plugin marketplace add andrueandersoncs/claude-tla-plus-plugin

1Plugins

Last UpdatedJan 14, 2026

Generate TLA+ specifications and TLC model configurations for formal verification of distributed systems, concurrent algorithms, and state machines