# 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
- **バージョン:** 0.67
- **ソース概要:** Front-end for Yosys-based formal verification flows
- **ホームページ:** <https://symbiyosys.readthedocs.io/en/latest/>
- **リポジトリ:** <https://github.com/YosysHQ/sby>
- **最終更新:** 2026-07-09T14:27:06Z
- **生成日時:** 2026-08-03T19:37:03+00:00

## 実行可能ファイル

- sby (エイリアス)

## インストール挙動

- Bottle: 利用不可

## バージョンと鮮度

- ページ生成日: 2026-08-03
- マネージャ版: 0.67

## セキュリティノート

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



## 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
## 他のパッケージマネージャ記録

- 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


## 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
- curated configuration and credential file locations
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph