# TLA+ Community Modules ## Metadata **Status**:: #x **Zettel**:: #zettel/fleeting **Created**:: [[2026-01-15]] **Parent**:: [[TLA+]] **URL**:: [github.com](https://github.com/tlaplus/CommunityModules/tree/master/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 ...`