インストール

Automic Vault でインストール

Automic Vault

sudo av install brew:spot

macOS

Homebrewverified · 100%

brew install spot

local Homebrew formula metadata

MacPortsverified · 94%

sudo port install spot

MacPorts ports tree · science/spot/Portfile · source: api.github.com

Linux

Nixverified · 92%

nix profile install nixpkgs#spot

nixpkgs package indexes · pkgs/by-name/sp/spot/package.nix · source: api.github.com

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

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

プラットフォームノート

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

概要

パッケージ概要

Platform for LTL and ω-automata manipulation

ホームページ

https://spot.lre.epita.fr

コマンドとエイリアス

autcross
autfilt
dstar2tgba
genaut
genltl
ltl2tgba
ltlcross
ltldo
ltlf2dfa
ltlfilt
ltlfsynt
ltlgrind
ltlmix
ltlsynt
randaut
randltl

セキュリティ状態

リスクレベル: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

narrow executable package without higher-risk signals

Signals

metadata:no-higher-risk-signals

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
Build metadata lists 1 build dependencies.

推奨レビュー

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

実行可能ファイル

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

コマンド	種類	公開範囲
`autcross`	cli	global executable
`autfilt`	cli	global executable
`dstar2tgba`	cli	global executable
`genaut`	cli	global executable
`genltl`	cli	global executable
`ltl2tgba`	cli	global executable
`ltlcross`	cli	global executable
`ltldo`	cli	global executable
`ltlf2dfa`	cli	global executable
`ltlfilt`	cli	global executable
`ltlfsynt`	cli	global executable
`ltlgrind`	cli	global executable
`ltlmix`	cli	global executable
`ltlsynt`	cli	global executable
`randaut`	cli	global executable
`randltl`	cli	global executable

鮮度

バージョンと鮮度

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

ページ生成日2026-06-10

マネージャ版2.15.1

マネージャ更新日2026-04-26

ローカルデータok

上流not checked

検出された最新not detected

https://spot.lre.epita.fr

infoRelease/tag comparison is only available for GitHub repositories.https://spot.lre.epita.frnone confidence

インストールメタデータ

パッケージメタデータ

Package key	brew:spot
Version	2.15.1
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/spot
Homepage	https://spot.lre.epita.fr
Upstream docs	https://github.com/xvzc/SpoofDPI#readme
License	GPL-3.0-or-later
Source archive	https://www.lrde.epita.fr/dload/spot/spot-2.15.1.tar.gz
Last updated	2026-04-26T00:47:45Z
Pulse	updated
Build dependencies	python@3.14
Bottle	available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	not defined
Service	none declared

registry facts

Source database details

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	spot
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	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%

spot

nix profile install nixpkgs#spot

normalized package name match
Matched by: Spot

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

MacPorts95%

spot

sudo port install spot

normalized package name match
Matched by: Spot

MacPorts ports tree · api.github.com · MacPorts ports tree: science/spot/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

パッケージグラフ

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

ソース経路

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

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

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

spot をインストール