The Agent Skills Directory

[External Download]: The setup.sh script downloads the tla2tools.jar file from official, well-known sources including the TLA+ GitHub repository and Maven Central. This is a standard procedure for installing the necessary formal verification toolchain.
[Command Execution]: The skill uses shell scripts to wrap Java commands for parsing, translating, and model-checking TLA+ specifications. These operations are restricted to the local environment and are used to provide the skill's core functionality.
[Local Build Logic]: If the tool download fails, the setup script includes logic to locate and build the TLA+ tools from a local source repository using the ant build system.

tla-plus