Source

smithery/tlaplus

2 skills · 0 combined installs

Skills from this source

#

Skill

Source

8W Activity

Installs

tlaplus-from-source Generate a high-level TLA+ model from source code (C, C++, Rust, etc.).

smithery/tlaplus

tlaplus-split-action Split a TLA+ action into two sequential actions by introducing a new program counter (pc) state.

smithery/tlaplus