安装

使用 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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

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