macOS
Homebrew Caskverifiziert · 100%
brew install --cask coq-platformlocal Homebrew cask metadata
cask
coq-platform mit Homebrew Cask installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für coq-platform in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Überblick
Paketzusammenfassung
Formal proof management system
Projektlinks
Befehle und Aliase
In der lokalen Paketdatenbank wurden keine Executable-Aliase gefunden.
Sicherheitslage
Noch keine Protected-Tool-Abdeckung gefunden
Für coq-platform 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
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
| 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-Version2025.01.0,8.20.2025.01
Manager aktualisiert
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt
https://github.com/rocq-prover/platform
- InfoNo package-manager update timestamp was available.niedrig Konfidenz
- InfoNo cached GitHub release or tag data was available.https://github.com/rocq-prover/platformnone Konfidenz
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | cask:coq-platform |
|---|---|
| Version | 2025.01.0,8.20.2025.01 |
| Paketmanager | Homebrew Cask |
| Paketmanager-Seite | https://formulae.brew.sh/cask/coq-platform |
| Homepage | https://rocq-prover.org/ |
| Repository | https://github.com/rocq-prover/platform |
| Upstream-Dokumentation | https://rocq-prover.org/ |
| Quellarchiv | https://github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg |
| SHA-256 | 5bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3 |
| Bottle | nicht erfasst |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Registry-Fakten
Details aus der Quelldatenbank
| Source Database | Homebrew cask API |
|---|---|
| Tap | homebrew/cask |
| Full Token | coq-platform |
| Names |
|
| Old Tokens |
|
| Artifacts | |
| Deprecated | no |
| Disabled | no |
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