Use when debugging TLA+ invariant or property violations. Provides systematic workflow to isolate and diagnose issues.
2
AI 88
tla-model-checking
photoszzt2/17/2026
This skill should be used when the user asks to "model check", "run TLC", "verify specification", "check invariants", "configure TLC", "write config file", or mentions model checking workflow and TLC...
1
tla-refinement-proofs
photoszzt2/8/2026
This skill should be used when the user asks about "refinement", "specification refinement", "refine specification", "abstract and concrete specs", "implementation correctness", or mentions proving on...
