macOS
Homebrew
verifiziert · 100%
brew install civl
local Homebrew formula metadata
brew-Paketinformationen
civl installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für civl in AI-Agent-Workflows.
Installation
Mit Automic Vault installieren
Automic Vault
sudo av install brew:civlPaketmanager-Quelle
Plattformhinweise
- Es waren keine paketspezifischen Plattformhinweise vorhanden.
Überblick
Paketzusammenfassung
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für civl aus lokalen Paketdaten.
Homepage
Befehle und Aliase
- civl
Quellzusammenfassung
Concurrency Intermediate Verification Language
Sicherheitslage
Risikostufe: blue
broad file, network, media, or database tool signal.
Risikoklassifikator
blue Risiko · medium Konfidenz · tool
Warum
- broad file, network, media, or database tool signal
Signale
- text:media
Installationsverhalten
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 1 platform targets.
- Installiert mit 2 Laufzeitabhängigkeiten.
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
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
civl | cli | global executable |
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-05-26
Manager-Version1.22-5854
Manager aktualisiert2026-02-19
lokale Datenok
Upstreamnot checked
neueste erkannte Versionnicht erkannt
https://vsl.cis.udel.edu/civl/
- info Release/tag comparison is only available for GitHub repositories. https://vsl.cis.udel.edu/civl/ none Konfidenz
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:civl |
|---|---|
| Version | 1.22-5854 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/civl |
| Homepage | https://vsl.cis.udel.edu/civl/ |
| Upstream-Dokumentation | https://vsl.cis.udel.edu/civl/ |
| Lizenz | GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause |
| Quellarchiv | https://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz |
| Aktualisiert | 2026-02-19T14:35:27+01:00 |
| Pulse | updated |
| Abhängigkeiten | openjdk, z3 |
| Bottle | verfügbar (all) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von scripts/generate-pkg-pages.py geschrieben. Deployments verweigern die Veröffentlichung, wenn www/pkg/ gegenüber lokalen Paketdaten veraltet ist.
Verwendete Quellen
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment