# TLA+ Toolbox IDE

**Canonical:** https://apis.io/apis/tla-plus-foundation/tla-toolbox-ide/  
**Provider:** TLA Plus Foundation — https://apis.io/providers/tla-plus-foundation/  
**Documentation:** https://github.com/tlaplus/tlaplus

TLA+ Toolbox IDE 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, Tooling, and Development. The published artifact set on APIs.io includes API documentation and a GitHub repository.

The TLA+ Toolbox is a full-featured IDE for writing TLA+ specifications, running TLC model checks, and managing proofs with TLAPS. Available as a standalone Eclipse-based application.

## Machine-readable artifacts (2)

- **Documentation** — https://tla.msr-inria.inria.fr/tlatoolbox/doc/
- **GitHubRepository** — https://github.com/tlaplus/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+ VS Code Extension](https://apis.io/apis/tla-plus-foundation/vscode-tlaplus/)
- [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, Tooling, Development

---

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