# TLA+ VS Code Extension

**Canonical:** https://apis.io/apis/tla-plus-foundation/vscode-tlaplus/  
**Provider:** TLA Plus Foundation — https://apis.io/providers/tla-plus-foundation/  
**Documentation:** https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus

TLA+ VS Code Extension is one of 6 APIs that [TLA Plus Foundation](https://apis.io/providers/tla-plus-foundation/) publishes on the [APIs.io](https://apis.io/) network. Tagged areas include IDE, VS Code, and Tooling. The published artifact set on APIs.io includes API documentation and a GitHub repository.

The official TLA+ extension for Visual Studio Code providing language support, syntax highlighting, TLC integration, and model checking from within the VS Code editor.

## Machine-readable artifacts (2)

- **Documentation** — https://github.com/tlaplus/vscode-tlaplus
- **GitHubRepository** — https://github.com/tlaplus/vscode-tlaplus

## Other TLA Plus Foundation APIs (5)

- [TLC Model Checker](https://apis.io/apis/tla-plus-foundation/tlc-model-checker/)
- [TLAPS Proof System](https://apis.io/apis/tla-plus-foundation/tlaps-proof-system/)
- [TLA+ Toolbox IDE](https://apis.io/apis/tla-plus-foundation/tla-toolbox-ide/)
- [TLA+ Community Modules](https://apis.io/apis/tla-plus-foundation/community-modules/)
- [TLA+ Specification Examples](https://apis.io/apis/tla-plus-foundation/tlaplus-examples/)

## Tags

IDE, VS Code, Tooling

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/apis/tla-plus-foundation/vscode-tlaplus/). The API's provider profile, Kin Score and agent-readiness rating are at https://apis.io/providers/tla-plus-foundation/.