Automic Vault
brew パッケージインテリジェンス
stp のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
sudo av install brew:stpbrew install stp
local Homebrew formula metadata
sudo port install stp
MacPorts ports tree · math/stp/Portfile · ソース: api.github.com
sudo dnf install stp
Fedora Rawhide package metadata · stp · ソース: dl.fedoraproject.org
nix profile install nixpkgs#stp
nixpkgs package indexes · pkgs/by-name/st/stp/package.nix · ソース: api.github.com
sudo pacman -S stp
Arch Linux sync databases · stp · ソース: geo.mirror.pkgbuild.com
sudo zypper install stp
openSUSE Tumbleweed package metadata · stp · ソース: download.opensuse.org
概要
Automic Vault は、stp のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。
Simple Theorem Prover, an efficient SMT solver for bitvectors
セキュリティ状態
narrow executable package without higher-risk signals.
green リスク · low 信頼度 · appliance
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
stp | cli | global executable | |
stp_simple | cli | global executable |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
インストールメタデータ
| パッケージキー | brew:stp |
|---|---|
| バージョン | 2.3.4 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/stp |
| ホームページ | https://stp.github.io/ |
| リポジトリ | https://github.com/stp/stp |
| 上流ドキュメント | https://stp.github.io/ |
| ライセンス | MIT |
| ソースアーカイブ | https://github.com/stp/stp/archive/refs/tags/2.3.4.tar.gz |
| 更新 | 2026-04-04T01:04:25Z |
| Pulse | updated |
| 依存関係 | boost, cryptominisat, gmp, minisat, python@3.14 |
| ビルド依存関係 | bison, cmake, flex |
| macOS 提供ライブラリ | perl |
| Bottle | 利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
ソース経路
このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。