macOS
brew install sby
local Homebrew formula metadata
brew-Paketinformationen
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für sby in AI-Agent-Workflows.
Installation
sudo av install brew:sby
brew install sby
local Homebrew formula metadata
nix profile install nixpkgs#sby
nixpkgs package indexes · pkgs/by-name/sb/sby/package.nix · Quelle: api.github.com
Überblick
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für sby aus lokalen Paketdaten.
Front-end for Yosys-based formal verification flows
Sicherheitslage
no executable entrypoint in the package index.
green Risiko · low Konfidenz · appliance
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
sby | cli | global executable |
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.
https://github.com/YosysHQ/sby
Installationsmetadaten
| Paketschlüssel | brew:sby |
|---|---|
| Version | 0.65 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/sby |
| Homepage | https://symbiyosys.readthedocs.io/en/latest/ |
| Repository | https://github.com/YosysHQ/sby |
| Upstream-Dokumentation | https://symbiyosys.readthedocs.io/en/latest/ |
| Lizenz | ISC |
| Quellarchiv | https://github.com/YosysHQ/sby/archive/refs/tags/v0.65.tar.gz |
| Aktualisiert | 2026-05-12T13:38:45Z |
| Pulse | updated |
| Abhängigkeiten | python@3.14, yosys |
| Bottle | verfügbar (all) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Quellspur
Diese Seite wird von scripts/generate-pkg-pages.py geschrieben. Deployments verweigern die Veröffentlichung, wenn www/pkg/ gegenüber lokalen Paketdaten veraltet ist.