pkg.soopen package index

cask

Install tla+-toolbox with Homebrew Cask

IDE for TLA+. Version 1.7.4 via Homebrew Cask; verified from local package data.

Install commandSecurity notes

install

Additional install commands

macOS

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

local Homebrew cask metadata

overview

Package summary

IDE for TLA+

Commands and aliases

No executable aliases were found in the local package database.

security posture

No protected-tool coverage found yet

No matching local secret-handling manifest was found for tla+-toolbox. Package metadata is still published here so future coverage has a stable package URL.

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • No Homebrew bottle metadata was recorded.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
No executable data was present.

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-08-04
manager version1.7.4
manager updated
local dataok
upstreamnot checked
latest detectednot detected

https://github.com/tlaplus/tlaplus

  • infoNo package-manager update timestamp was available.low confidence
  • infoNo cached GitHub release or tag data was available.https://github.com/tlaplus/tlaplusnone confidence

install metadata

Package metadata

Package keycask:tla+-toolbox
Version1.7.4
Package managerHomebrew Cask
Package manager pagehttps://formulae.brew.sh/cask/tla+-toolbox
Homepagehttps://lamport.azurewebsites.net/tla/toolbox.html
Repositoryhttps://github.com/tlaplus/tlaplus
Upstream docshttps://lamport.azurewebsites.net/tla/toolbox.html
Source archivehttps://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256258677703e28a65d2d85c75388756a51198041a2555923e52ad5d6925f5c5bd7
Bottlenot recorded
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

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

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

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