tlaplus plugins

1 tagged tlaplus, measured the same way as everything else here.

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

tla-workbenches

01

younes-io/agent-skills

Plugin Claude Code

Bundles 2 skills · 166 tokens together

TLA+ skills for checking specs and writing proofs.

not rated 20 1mo ago A tokens not measured original MIT