Plugin Claude Code
Plugin marketplace listing 1 plugin: tla-workbenches.
20 1mo ago A
tokens not measured
original MIT
Plugin Claude Code
TLA+ skills for checking specs and writing proofs.
20 1mo ago A
tokens not measured
original MIT
tla-check
03Skill Claude CodeCodex
Write and iteratively refine executable TLA+ specs (.tla) and TLC model configs (.cfg) from natural-language system designs; run TLC model checking; summarize pass/fail and counterexamples with explicit assumptions and bounds. Use when asked to design or validate a protocol/state machine, create or edit .tla/.cfg…
20 1mo ago A 79 tokens
original MIT
tla-proof
04Skill Claude CodeCodex
Write and iteratively refine TLA+ theorem proofs in .tla modules with TLAPS (tlapm); run proof checks and summarize proved vs failed/omitted obligations with explicit assumptions and trust boundaries. Use when asked to create or fix THEOREM or PROOF blocks, diagnose TLAPS failures, strengthen inductive invariants…
20 1mo ago A 87 tokens
original MIT