macOS
brew install sby
local Homebrew formula metadata
Renseignements sur le paquet brew
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de sby pour les workflows d'agents IA.
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 · source: api.github.com
aperçu
Automic Vault publie les chemins d'installation, les faits d'exécutables et les métadonnées de sécurité propres à sby depuis les données locales de paquets.
Front-end for Yosys-based formal verification flows
posture de sécurité
no executable entrypoint in the package index.
green risque · low confiance · appliance
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
| Commande | Type | Exposition | Note |
|---|---|---|---|
sby | cli | global executable |
fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
https://github.com/YosysHQ/sby
métadonnées d'installation
| Clé du paquet | brew:sby |
|---|---|
| Version | 0.65 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/sby |
| Page d'accueil | https://symbiyosys.readthedocs.io/en/latest/ |
| Dépôt | https://github.com/YosysHQ/sby |
| Docs amont | https://symbiyosys.readthedocs.io/en/latest/ |
| Licence | ISC |
| Archive source | https://github.com/YosysHQ/sby/archive/refs/tags/v0.65.tar.gz |
| Mis à jour | 2026-05-12T13:38:45Z |
| Pulse | updated |
| Dépendances | python@3.14, yosys |
| Bouteille | disponible (all) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
piste source
Cette page est écrite par scripts/generate-pkg-pages.py. Les déploiements refusent de publier si www/pkg/ est obsolète par rapport aux données locales de paquets.