# sby を Homebrew, Nix でインストール

sby のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

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

追加のインストールコマンド:

### macOS

- Homebrew (100%):

```sh
brew install sby
```

  証拠: local Homebrew formula metadata

### Linux

- Nix (92%):

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

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

## パッケージ情報

- **パッケージキー:** brew:sby
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/sby>
- **バージョン:** 0.67
- **ソース概要:** Front-end for Yosys-based formal verification flows
- **ホームページ:** <https://symbiyosys.readthedocs.io/en/latest/>
- **リポジトリ:** <https://github.com/YosysHQ/sby>
- **上流ドキュメント:** <https://symbiyosys.readthedocs.io/en/latest/>
- **ライセンス:** ISC
- **ソースアーカイブ:** <https://github.com/YosysHQ/sby/archive/refs/tags/v0.67.tar.gz>
- **最終更新:** 2026-07-09T14:27:06Z
- **生成日時:** 2026-08-04T22:13:35+00:00

## 実行可能ファイル

- sby (cli)
- sby (エイリアス)

## 依存関係

- python@3.14
- yosys

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 all

## バージョンと鮮度

- ページ生成日: 2026-08-04
- マネージャ版: 0.67
- マネージャ更新日: 2026-07-09
- ローカルデータ: OK
- 上流リポジトリ: https://github.com/YosysHQ/sby
- 検出された最新: v0.67 (最新)

## セキュリティノート

sby に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、パッケージメタデータはここに公開されています。



## 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
## ソースデータベース詳細

- **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

## 他のパッケージマネージャ記録

- 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


## 関連リンク

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


## ソース

- 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