pkg.soopen package index

cask

isabelle mit Homebrew Cask installieren

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

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrew Caskverifiziert · 100%
brew install --cask isabelle

local Homebrew cask metadata

Überblick

Paketzusammenfassung

Generic proof assistant

Befehle und Aliase

  • isabelle

Sicherheitslage

Noch keine Protected-Tool-Abdeckung gefunden

Für isabelle 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
isabelleBinärdateiHomebrew-Cask-Binärdateiisabelle

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-Version2025-2
Manager aktualisiert
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

https://www.cl.cam.ac.uk/research/hvg/Isabelle/

Installationsmetadaten

Paketmetadaten

Paketschlüsselcask:isabelle
Version2025-2
PaketmanagerHomebrew Cask
Paketmanager-Seitehttps://formulae.brew.sh/cask/isabelle
Homepagehttps://www.cl.cam.ac.uk/research/hvg/Isabelle/
Upstream-Dokumentationhttps://www.cl.cam.ac.uk/research/hvg/Isabelle/
Quellarchivhttps://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz
SHA-2568f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e
Bottlenicht erfasst
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source DatabaseHomebrew cask API
Taphomebrew/cask
Full Tokenisabelle
Names
  • Isabelle
Artifacts
Artifact
1
Binary
1
Target
2
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