macOS
Homebrewverified · 100%
brew install picatlocal Homebrew formula metadata
brew / 順位 6514
picat をインストール
picat のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
Automic Vault でインストール
Automic Vault
sudo av install brew:picatLinux
Alpine Linux apkverified · 92%
sudo apk add picatAlpine Linux edge package indexes · picat · source: dl-cdn.alpinelinux.org
Nixverified · 92%
nix profile install nixpkgs#picatnixpkgs package indexes · pkgs/by-name/pi/picat/package.nix · source: api.github.com
パッケージマネージャソース
プラットフォームノート
- パッケージ固有のプラットフォームノートはありません。
概要
パッケージ概要
Simple, and yet powerful, logic-based multi-paradigm programming language
ホームページ
コマンドとエイリアス
- picat
セキュリティ状態
リスクレベル: yellow
generalized runtime or code generation signal.
Risk classifier
yellow risk · medium confidence · runtime
Why
- generalized runtime or code generation signal
Signals
- text:programming language
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
picat | cli | global executable |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-06-10
マネージャ版3.9.8
マネージャ更新日2026-05-21
ローカルデータok
上流not checked
検出された最新not detected
- infoRelease/tag comparison is only available for GitHub repositories.https://picat-lang.org/none confidence
インストールメタデータ
パッケージメタデータ
| Package key | brew:picat |
|---|---|
| Version | 3.9.8 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/picat |
| Homepage | https://picat-lang.org/ |
| Upstream docs | https://picat-lang.org/download/picat_guide.pdf |
| License | MPL-2.0 |
| Source archive | https://picat-lang.org/download/picat398_src.tar.gz |
| Last updated | 2026-05-21T12:42:42Z |
| Pulse | updated |
| 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 | picat |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
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%
picat
nix profile install nixpkgs#picat- normalized package name match
- Matched by: Picat
apk95%
picat 3.9.6-r0
Logic-based multi-paradigm programming language
sudo apk add picat- License: MPL-2.0
- Architecture: x86_64
- Source Package: picat
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Picat
apk95%
picat-doc 3.9.6-r0
Logic-based multi-paradigm programming language (documentation)
sudo apk add picat-doc- License: MPL-2.0
- Architecture: x86_64
- Source Package: picat
- normalized package name match
- Matched by: Picat
ソース経路
リポジトリデータから生成
このページは 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