pkg.soopen package index

cask

tla+-toolbox mit Homebrew Cask installieren

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

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrew Caskverifiziert · 100%
brew install --cask tla+-toolbox

local Homebrew cask metadata

Überblick

Paketzusammenfassung

IDE for TLA+

Befehle und Aliase

In der lokalen Paketdatenbank wurden keine Executable-Aliase gefunden.

Sicherheitslage

Noch keine Protected-Tool-Abdeckung gefunden

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.

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Es wurden keine Homebrew-Bottle-Metadaten erfasst.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
Es waren keine Executable-Daten vorhanden.

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-08-04
Manager-Version1.7.4
Manager aktualisiert
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

https://github.com/tlaplus/tlaplus

  • InfoNo package-manager update timestamp was available.niedrig Konfidenz
  • InfoNo cached GitHub release or tag data was available.https://github.com/tlaplus/tlaplusnone Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüsselcask:tla+-toolbox
Version1.7.4
PaketmanagerHomebrew Cask
Paketmanager-Seitehttps://formulae.brew.sh/cask/tla+-toolbox
Homepagehttps://lamport.azurewebsites.net/tla/toolbox.html
Repositoryhttps://github.com/tlaplus/tlaplus
Upstream-Dokumentationhttps://lamport.azurewebsites.net/tla/toolbox.html
Quellarchivhttps://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256258677703e28a65d2d85c75388756a51198041a2555923e52ad5d6925f5c5bd7
Bottlenicht erfasst
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source DatabaseHomebrew cask API
Taphomebrew/cask
Full Tokentla+-toolbox
Names
  • TLA+ Toolbox
Old Tokens
  • tla-plus-toolbox
Artifacts
App
1
Target
1
Deprecatedno
Disabledno

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

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