macOS
Homebrewverified · 100%
brew install sbylocal Homebrew formula metadata
brew / rank 5789
Install sby with Homebrew, Nix
Front-end for Yosys-based formal verification flows. Version 0.67 via Homebrew; verified 2026-07-09. Also installable with nix: nix profile install nixpkgs#sby.
install
Additional install commands
Linux
Nixverified · 92%
nix profile install nixpkgs#sbynixpkgs package indexes · pkgs/by-name/sb/sby/package.nix · source: api.github.com
overview
Package summary
Front-end for Yosys-based formal verification flows
Project links
Commands and aliases
- sby
security posture
No protected-tool coverage found yet
No matching local secret-handling manifest was found for sby. Nucleus package metadata is still published here so future coverage has a stable package URL.
Install behavior
- No Homebrew bottle metadata was recorded.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
local files
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
Config paths the tool may read or write during local use.
- Unix
*.sby
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
sby | executable | indexed executable | Discovered from the local executable index. |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-08-03
manager version0.67
manager updated2026-07-09
local dataunknown
upstreamnot available
latest detectednot detected
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:sby |
|---|---|
| Version | 0.67 |
| Package manager | Homebrew |
| Homepage | https://symbiyosys.readthedocs.io/en/latest/ |
| Repository | https://github.com/YosysHQ/sby |
| Last updated | 2026-07-09T14:27:06Z |
| Pulse | updated |
| Bottle | not recorded |
| Service | none declared |
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Nix95%
sby
nix profile install nixpkgs#sby- normalized package name match
- Matched by: Sby
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- cross-ecosystem install command graph
- curated configuration and credential file locations
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation