# TLA+ Community Modules ## Synopsis Community Modules have been bundled in [[VS Code TLA+]]. To use it in [[TLA Toolbox]]: 1. Download `CommunityModules-deps.jar` or use the one bundled in the VS Code extension in path like `vscode\data\extensions\tlaplus.vscode-ide-2026.1.131601\tools\CommunityModules-deps.jar`. 2. Add the jar file as an Archive in the preference section `File > Preferences > TLA+ Preferences > TLA+ library path locations`. To use it in the command line, ensure the JAR is on the `classpath`: either place it next to `tla2tools.jar` or add it explicitly with `java -cp tla2tools.jar:CommunityModules-deps.jar ...`