# Installer sby avec Homebrew, Nix

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de sby pour les workflows d'agents IA.

## installation

```sh
sudo av install brew:sby
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install sby
```

  Preuve: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#sby
```

  Preuve: nixpkgs package indexes: pkgs/by-name/sb/sby/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Faits du paquet

- **Clé du paquet:** brew:sby
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/sby>
- **Version:** 0.67
- **Résumé source:** Front-end for Yosys-based formal verification flows
- **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.67.tar.gz>
- **Dernière mise à jour:** 2026-07-09T14:27:06Z
- **Généré:** 2026-08-04T22:13:35+00:00

## exécutables

- sby (cli)
- sby (alias)

## Dépendances

- python@3.14
- yosys

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: disponible sur all

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 0.67
- gestionnaire mis à jour: 2026-07-09
- données locales: OK
- dépôt amont: https://github.com/YosysHQ/sby
- dernière version détectée: v0.67 (à jour)

## Notes de sécurité

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour sby. Les métadonnées de paquet restent publiées ici afin que la couverture future dispose d'une URL stable.



## Configuration and credential file locations

These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.


## Configuration files

- Unix: *.sby
## Détails de la base source

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** sby
- **Version Scheme:** 0
- **Revision:** 0
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## Autres enregistrements de gestionnaires de paquets

- Nix - sby: normalized package name match | nixpkgs package indexes: pkgs/by-name/sb/sby/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## Liens liés

- [Terminal utility packages](https://pkg.so/fr/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://pkg.so/fr/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://pkg.so/fr/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Networking and protocol packages](https://pkg.so/fr/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [python@3.14](https://pkg.so/fr/brew/python-3-14/) - Runtime dependency declared by Homebrew.
- [yosys](https://pkg.so/fr/brew/yosys/) - Runtime dependency declared by Homebrew.
- [dafny](https://pkg.so/fr/brew/dafny/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods, formal-verification.
- [quint](https://pkg.so/fr/brew/quint/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [alive2](https://pkg.so/fr/brew/alive2/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [proof-general](https://pkg.so/fr/brew/proof-general/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-methods.
- [cbmc](https://pkg.so/fr/brew/cbmc/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification.
- [spin](https://pkg.so/fr/brew/spin/) - Shares pkgdb curated category or tags: cli, developer-tools, formal-verification.
- [prjtrellis](https://pkg.so/fr/brew/prjtrellis/) - Shares pkgdb curated category or tags: cli, developer-tools, yosys.
- [netlistsvg](https://pkg.so/fr/brew/netlistsvg/) - Shares pkgdb curated category or tags: cli, developer-tools, yosys.
- [esbmc](https://pkg.so/fr/brew/esbmc/) - Both packages touch the same language runtime or ecosystem. Shared terms: based, cli, developer, developer-tools, formal.
- [icestorm](https://pkg.so/fr/brew/icestorm/) - Both packages touch the same language runtime or ecosystem. Shared terms: cli, design, developer, developer-tools, hardware.

## Combined YAML source

View the package source record on GitHub. [combined/sby.yml](https://github.com/mxcl/pkgdb/blob/main/combined/sby.yml)


## Sources

- pkg.so package database
- Geiger risk classifier
- package-page enrichment
- curated configuration and credential file locations
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph