# Installer tla+-toolbox avec Homebrew Cask

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de tla+-toolbox pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew Cask (100%):

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

  Preuve: local Homebrew cask metadata

## Faits du paquet

- **Clé du paquet:** cask:tla+-toolbox
- **Gestionnaire de paquets:** Homebrew Cask
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/cask/tla+-toolbox>
- **Version:** 1.7.4
- **Résumé source:** IDE for TLA+
- **Page d'accueil:** <https://lamport.azurewebsites.net/tla/toolbox.html>
- **Dépôt:** <https://github.com/tlaplus/tlaplus>
- **Docs amont:** <https://lamport.azurewebsites.net/tla/toolbox.html>
- **Archive source:** <https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip>
- **Généré:** 2026-08-04T22:13:35+00:00

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 1.7.4
- données locales: OK
- dépôt amont: https://github.com/tlaplus/tlaplus
- info: No package-manager update timestamp was available.
- info: No cached GitHub release or tag data was available.

## Notes de sécurité

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour tla+-toolbox. Les métadonnées de paquet restent publiées ici afin que la couverture future dispose d'une URL stable.


## Détails de la base source

- **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


## Liens liés

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

## Sources

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