pkg.soopen package index

brew / 順位 6011

picat を Homebrew, apk, Nix でインストール

picat のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install picat

local Homebrew formula metadata

Linux

Alpine Linux apk確認済み · 92%
sudo apk add picat

Alpine Linux edge package indexes · picat · ソース: dl-cdn.alpinelinux.org

Nix確認済み · 92%
nix profile install nixpkgs#picat

nixpkgs 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

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
picat実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-08-03
マネージャ版3.9.11
マネージャ更新日2026-07-17
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:picat
バージョン3.9.11
パッケージマネージャHomebrew
ホームページhttps://picat-lang.org/
最終更新2026-07-17T10:59:21Z
Pulseupdated
Bottle未記録
サービス宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Nix95%

picat

nix profile install nixpkgs#picat
  • normalized package name match
  • 一致条件: Picat
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/pi/picat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
apk95%

picat 3.9.11-r0

Logic-based multi-paradigm programming language

https://picat-lang.org/

sudo apk add picat
  • License: MPL-2.0
  • Architecture: x86_64
  • Source Package: picat
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Picat
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: picat from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

picat-doc 3.9.11-r0

Logic-based multi-paradigm programming language (documentation)

https://picat-lang.org/

sudo apk add picat-doc
  • License: MPL-2.0
  • Architecture: x86_64
  • Source Package: picat
  • normalized package name match
  • 一致条件: Picat
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: picat-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation