andrueandersoncs/claude-tla-plus-plugin — Plugins

2Stars on the repository

8Mods indexed here, across every type

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

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

tla-plus-marketplace

andrueandersoncs/claude-tla-plus-plugin

Plugin Claude Code

Plugin marketplace listing 1 plugin: tla-plus.

2 7mo ago A tokens not measured

tla-plus

andrueandersoncs/claude-tla-plus-plugin

Plugin Claude Code

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

2 7mo ago A tokens not measured