install

Additional install commands

macOS

Homebrewverified · 100%

brew install sby

local Homebrew formula metadata

Linux

Nixverified · 92%

nix profile install nixpkgs#sby

nixpkgs 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 post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 1 platform targets.
Installs with 2 runtime dependencies.

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`	cli	global executable

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-07-08

manager version0.66

manager updated2026-06-02

local dataok

upstreamcurrent

latest detectedv0.66

https://github.com/YosysHQ/sby

okNo freshness warnings were generated.

install metadata

Package metadata

Package key	brew:sby
Version	0.66
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/sby
Homepage	https://symbiyosys.readthedocs.io/en/latest/
Repository	https://github.com/YosysHQ/sby
Upstream docs	https://symbiyosys.readthedocs.io/en/latest
License	ISC
Source archive	https://github.com/YosysHQ/sby/archive/refs/tags/v0.66.tar.gz
Last updated	2026-06-02T10:43:46Z
Pulse	updated
Dependencies	python@3.14, yosys
Bottle	available (on all)
Homebrew post-install	not defined
Service	none declared

registry facts

Source database details

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

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

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

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

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.

combined/sby.yml

Used sources

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

Install sby with Homebrew, Nix