🔌

tla-plus

🔌Plugin

andrueandersoncs/claude-tla-plus-plugin

Installation

Add marketplace in Claude Code:

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

Step 2. Install plugin:

$/plugin install tla-plus@marketplace-name

What it does

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

Part of

andrueandersoncs/claude-tla-plus-plugin

formal-verification

Last UpdatedJan 14, 2026

Marketplace