andrueandersoncs/claude-tla-plus-plugin — Plugins

2Stars on the repository

8Mods indexed here, across every type

9mo agoLast push, which is what freshness is scored on

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

tla-plus

Plugin Claude Code

Bundles 1 skill, 6 commands · 116 tokens together

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

not rated 2 9mo ago A tokens not measured