Plugin Claude Code
Plugin marketplace listing 1 plugin: tla-workbenches.
20 1mo ago A
tokens not measured
original MIT
20Stars on the repository
4Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Plugin Claude Code
TLA+ skills for checking specs and writing proofs.
20 1mo ago A
tokens not measured
original MIT