Automic VaultAutomic Vault

brew

使用 Homebrew, apk, Nix 安装 picat

查看 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

安装行为

  • formula 元数据中未记录 Homebrew post-install 钩子。
  • Homebrew bottle 元数据适用于 6 个平台目标。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
picatcli全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-25
管理器版本3.9.11
管理器更新时间2026-07-17
本地数据OK
上游not checked
检测到的最新版本未检测到

https://picat-lang.org/

安装元数据

软件包元数据

软件包键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
Pulseupdated
Bottle可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定义
服务未声明

注册表事实

源数据库详情

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namepicat
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 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.6-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.6-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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

相同工作流

  • arturoShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
  • luaShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
  • rubyShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
  • algol68gShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language.
  • latinoShares av.db curated category or tags: cli, interpreter, language-runtime, programming-language.
  • logtalkShares av.db curated category or tags: cli, language-runtime, logic-programming, programming-language.

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • 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