tlaplus-cli is an open-source command-line tool for working with TLA+, enabling users to download TLC, compile custom modules, and run model checkers. It is designed for engineers and researchers working with formal methods and TLA+ specifications.
In the CLI tools & terminal space, tlaplus-cli takes a focused approach. It focuses on running TLA+ model checking and compiling modules from the command line. tlaplus-cli is an open-source project aimed at formal methods engineers. The project is open source (MIT). tlaplus-cli is available on the web and the command line.
nikolskiy builds and maintains tlaplus-cli, and the product first shipped in 2026. The project is developed in the open on GitHub with 69 commits in the last 90 days. Across PulseGate's embedding index, tlaplus-cli has few near neighbours, marking it as relatively distinct. Among its 5 catalogued features are TLA+ model checking, module compilation, and CLI tool.
Latest indexed changes and source events
Other apps tracked under the same category.
