macOS
Homebrew
verifiziert · 100%
brew install proof-general
local Homebrew formula metadata
brew-Paketinformationen
proof-general installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für proof-general in AI-Agent-Workflows.
Installation
Mit Automic Vault installieren
Automic Vault
sudo av install brew:proof-generalPaketmanager-Quelle
Plattformhinweise
- Es waren keine paketspezifischen Plattformhinweise vorhanden.
Überblick
Paketzusammenfassung
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für proof-general aus lokalen Paketdaten.
Homepage
Befehle und Aliase
- coqtags
Quellzusammenfassung
Emacs-based generic interface for theorem provers
Sicherheitslage
Risikostufe: green
narrow executable package without higher-risk signals.
Risikoklassifikator
green Risiko · low Konfidenz · appliance
Warum
- narrow executable package without higher-risk signals
Signale
- metadata:no-higher-risk-signals
Installationsverhalten
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 12 platform targets.
- Installiert mit 1 Laufzeitabhängigkeiten.
- Build-Metadaten listen 2 Build-Abhä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 |
|---|---|---|---|
coqtags | 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-Version4.5
Manager aktualisiert2026-02-14
lokale Datenok
Upstreamcurrent
neueste erkannte Versionv4.5
https://github.com/ProofGeneral/PG
- okEs wurden keine Aktualitätswarnungen generiert.
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:proof-general |
|---|---|
| Version | 4.5 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/proof-general |
| Homepage | https://proofgeneral.github.io |
| Repository | https://github.com/ProofGeneral/PG |
| Upstream-Dokumentation | https://proofgeneral.github.io |
| Lizenz | GPL-3.0-or-later |
| Quellarchiv | https://github.com/ProofGeneral/PG/archive/refs/tags/v4.5.tar.gz |
| Aktualisiert | 2026-02-14T17:15:18+01:00 |
| Pulse | updated |
| Abhängigkeiten | emacs |
| Build-Abhängigkeiten | texi2html, texinfo |
| Bottle | verfügbar (arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, monterey, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
| Caveats | HTML documentation is available in: $HOMEBREW_PREFIX/share/doc/proof-general |
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