macOS
Homebrew確認済み · 100%
brew install picatlocal Homebrew formula metadata
brew
picat を Homebrew, apk, Nix でインストール
picat のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Alpine Linux apk確認済み · 92%
sudo apk add picatAlpine Linux edge package indexes · picat · ソース: dl-cdn.alpinelinux.org
Nix確認済み · 92%
nix profile install nixpkgs#picatnixpkgs package indexes · pkgs/by-name/pi/picat/package.nix · ソース: api.github.com
概要
パッケージ概要
Simple, and yet powerful, logic-based multi-paradigm programming language
プロジェクトリンク
コマンドとエイリアス
- picat
セキュリティ状態
リスクレベル: yellow
generalized runtime or code generation signal.
リスク分類器
リスク yellow · 信頼度 中 · runtime
理由
- generalized runtime or code generation signal
信号
- text:programming language
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
picat | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-26
マネージャ版3.9.11
マネージャ更新日2026-07-17
ローカルデータOK
上流not checked
検出された最新未検出
- 情報Release/tag comparison is only available for GitHub repositories.https://picat-lang.org/信頼度 none
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:picat |
|---|---|
| バージョン | 3.9.11 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/picat |
| ホームページ | https://picat-lang.org/ |
| 上流ドキュメント | https://picat-lang.org/download/picat_guide.pdf |
| ライセンス | MPL-2.0 |
| ソースアーカイブ | https://picat-lang.org/download/picat39_11_src.tar.gz |
| 最終更新 | 2026-07-17T10:59:21Z |
| Pulse | updated |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| 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 |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Nix95%
picat
nix profile install nixpkgs#picat- normalized package name match
- 一致条件: 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 依存関係
- 1 提供
- normalized package name match
- 一致条件: 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
- 一致条件: Picat
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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