インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:sby

macOS

Homebrew 確認済み · 100%

brew install sby

local Homebrew formula metadata

Linux

Nix 確認済み · 92%

nix profile install nixpkgs#sby

nixpkgs package indexes · pkgs/by-name/sb/sby/package.nix · ソース: api.github.com

パッケージマネージャソース

https://formulae.brew.sh/formula/sby

プラットフォームノート

パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Automic Vault は、sby のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

ホームページ

https://symbiyosys.readthedocs.io/en/latest/

コマンドとエイリアス

sby

ソース概要

Front-end for Yosys-based formal verification flows

セキュリティ状態

リスクレベル: green

no executable entrypoint in the package index.

リスク分類器

green リスク · low 信頼度 · appliance

理由

no executable entrypoint in the package index

信号

metadata:no-indexed-executables

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 1 platform targets.
2 件の実行時依存関係とともにインストールされます。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`sby`	cli	global executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-05-26

マネージャ版0.65

マネージャ更新日2026-05-12

ローカルデータok

上流current

検出された最新v0.65

https://github.com/YosysHQ/sby

ok鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:sby
バージョン	0.65
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/sby
ホームページ	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
Pulse	updated
依存関係	python@3.14, yosys
Bottle	利用可能 (all)
Homebrew post-install	未定義
サービス	宣言なし

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。

使用ソース

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

sby をインストール