# sby をインストール

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.65
- **ソース概要:** 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.65.tar.gz>
- **更新:** 2026-05-12T13:38:45Z
- **生成ソース:** 2026-05-26T22:45:13+00:00

## 実行可能ファイル

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

## 依存関係

- python@3.14
- yosys

## インストール挙動

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

## 鮮度

- ページ生成日: 2026-05-26
- マネージャ版: 0.65
- マネージャ更新日: 2026-05-12
- ローカルデータ: ok
- 上流リポジトリ: https://github.com/YosysHQ/sby
- 検出された最新: v0.65 (current)

## セキュリティノート

no executable entrypoint in the package index.

- **Geiger リスク:** green / low
- no executable entrypoint in the package index

## 関連リンク

- [python@3.14](https://www.automicvault.com/pkg/brew/python-3-14/) - Runtime dependency declared by Homebrew.
- [yosys](https://www.automicvault.com/pkg/brew/yosys/) - Runtime dependency declared by Homebrew.

## ソース

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph