Plugin marketplace

tla-plus-marketplace

Claude Code plugins for TLA+ formal verification and specification

2 · andrueandersoncs/claude-tla-plus-plugin1 pluginupdated 9 months ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

tla-plus

claude

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

1 skill · 6 commands

2

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted