# tla+-toolbox mit Homebrew Cask installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für tla+-toolbox in AI-Agent-Workflows.

## Installation

```sh
sudo av install cask:tla+-toolbox
```

Weitere Installationsbefehle:

### macOS

- Homebrew Cask (100%):

```sh
brew install --cask tla+-toolbox
```

  Evidenz: local Homebrew cask metadata

## Paketfakten

- **Paketschlüssel:** cask:tla+-toolbox
- **Paketmanager:** Homebrew Cask
- **Paketmanager-Seite:** <https://formulae.brew.sh/cask/tla+-toolbox>
- **Version:** 1.7.4
- **Quellzusammenfassung:** IDE for TLA+
- **Homepage:** <https://lamport.azurewebsites.net/tla/toolbox.html>
- **Repository:** <https://github.com/tlaplus/tlaplus>
- **Upstream-Dokumentation:** <https://lamport.azurewebsites.net/tla/toolbox.html>
- **Quellarchiv:** <https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip>
- **Generiert:** 2026-08-04T22:13:35+00:00

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Bottle: nicht verfügbar

## Version und Aktualität

- Seite generiert: 2026-08-04
- Manager-Version: 1.7.4
- lokale Daten: OK
- Upstream-Repository: https://github.com/tlaplus/tlaplus
- Info: No package-manager update timestamp was available.
- Info: No cached GitHub release or tag data was available.

## Sicherheitshinweise

Für tla+-toolbox wurde kein passendes lokales Secret-Handling-Manifest gefunden. Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.


## Details aus der Quelldatenbank

- **Source Database:** Homebrew cask API
- **Tap:** homebrew/cask
- **Full Token:** tla+-toolbox
- **Names:** TLA+ Toolbox
- **Old Tokens:** tla-plus-toolbox
- **Artifacts:** App: 1, Target: 1
- **Deprecated:** no
- **Disabled:** no


## Verwandte Links

- [Homebrew Cask packages](https://pkg.so/de/homebrew-cask-packages/) - Generated from Homebrew Cask package-manager metadata.
- [Homebrew Cask applications](https://pkg.so/de/homebrew-cask-applications/) - Cask artifact metadata includes an app bundle.

## Quellen

- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph