brew / Rang 5345

spot mit Homebrew, MacPorts, Nix installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für spot in AI-Agent-Workflows.

Installationsbefehl Sicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install spot

local Homebrew formula metadata

MacPortsverifiziert · 94%

sudo port install spot

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

Linux

Nixverifiziert · 92%

nix profile install nixpkgs#spot

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

Überblick

Paketzusammenfassung

Platform for LTL and ω-automata manipulation

Projektlinks

Homepage

Befehle und Aliase

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

Verlauf

Projektgeschichte und Nutzung

Spot is a C++ library and suite of command-line tools for linear temporal logic, omega-automata manipulation, and model-checking workflows.

Projektgeschichte

The official homepage describes Spot as a C++20 library for LTL, omega-automata manipulation, and model checking, with algorithms for formula manipulation, automata transformation, reactive synthesis, and model checking. It also exposes most algorithms through command-line tools and Python bindings.

Adoptionsgeschichte

Spot has official source releases, Debian and Fedora repositories maintained by the project, Conda-forge availability, and package-manager entries recorded in the input for Homebrew, MacPorts, and Nix. Its package footprint reflects both research users who need libraries and CLI users who need tools such as ltl2tgba, autfilt, randltl, and ltlcross.

Wie es verwendet wird

Common use is formal-methods automation: translate LTL or PSL formulas to automata, filter or transform automata, generate random formulas or automata, and benchmark translators with cross-checking tools. The command-line tools matter because they let researchers and verification engineers compose Spot behavior in shell pipelines and experiments.

Warum Paket-Nerds sich dafür interessieren

Spot is package-nerd relevant because it is not just one executable: it ships a library, development headers, Python bindings, documentation, and many specialized binaries. Packagers have to preserve that split while keeping compiler, Python, and documentation dependencies sane.

Zeitleiste

2026-04-25: Official homepage lists Spot 2.15.1 as the latest release.
2026: Install page documents project-maintained Debian and Fedora repositories plus Conda-forge availability.
Current: Git install instructions point to the official GitLab repository.

Related projects

The homepage identifies ltlcross as a rewrite of LBTT and describes autcross as a similar checker for automata-transforming tools.

Quellen

https://spot.lre.epita.fr/: official project description, command-line tools, release, license, and contact details.
https://spot.lre.epita.fr/install.html: official install methods, package split, Conda-forge note, and Git repository URL.
input.source_facts.executables: Homebrew executable list for installed Spot tools.
input.source_facts.package-manager: Homebrew, MacPorts, and Nix package-manager presence.

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

narrow executable package without higher-risk signals

Signale

metadata:no-higher-risk-signals

Installationsverhalten

Es wurden keine Homebrew-Bottle-Metadaten erfasst.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`autcross`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`autfilt`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`dstar2tgba`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`genaut`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`genltl`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltl2tgba`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltlcross`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltldo`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltlf2dfa`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltlfilt`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltlfsynt`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltlgrind`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltlmix`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`ltlsynt`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`randaut`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.
`randltl`	Executable	indexiertes Executable	Aus dem lokalen Executable-Index erkannt.

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-08-03

Manager-Version2.15.1

Manager aktualisiert

lokale Datenunbekannt

Upstreamnicht verfügbar

neueste erkannte Versionnicht erkannt

OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:spot
Version	2.15.1
Paketmanager	Homebrew
Homepage	https://spot.lre.epita.fr
Bottle	nicht erfasst
Dienst	keiner deklariert

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

spot

nix profile install nixpkgs#spot

normalized package name match
Abgeglichen nach: 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%