# 使用 Homebrew, apk, Nix 安装 picat

查看 picat 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:picat
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install picat
```

  证据: local Homebrew formula metadata

### Linux

- apk (92%):

```sh
sudo apk add picat
```

  证据: Alpine Linux edge package indexes: picat from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

- Nix (92%):

```sh
nix profile install nixpkgs#picat
```

  证据: nixpkgs package indexes: pkgs/by-name/pi/picat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## 软件包事实

- **软件包键:** brew:picat
- **软件包管理器:** Homebrew
- **版本:** 3.9.11
- **来源摘要:** Simple, and yet powerful, logic-based multi-paradigm programming language
- **主页:** <https://picat-lang.org/>
- **最后更新:** 2026-07-17T10:59:21Z
- **已生成:** 2026-08-03T19:37:03+00:00

## 可执行文件

- picat (别名)

## 安装行为

- Bottle: 不可用

## 版本和新鲜度

- 页面生成时间: 2026-08-03
- 管理器版本: 3.9.11

## 安全说明

generalized runtime or code generation signal.

- **Geiger 风险:** yellow / 中
- generalized runtime or code generation signal

## 其他软件包管理器记录

- Nix - picat: normalized package name match | nixpkgs package indexes: pkgs/by-name/pi/picat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- apk - picat - 3.9.11-r0: normalized package name match | Alpine Linux edge package indexes: picat from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Logic-based multi-paradigm programming language | https://picat-lang.org/
- apk - picat-doc - 3.9.11-r0: normalized package name match | Alpine Linux edge package indexes: picat-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Logic-based multi-paradigm programming language (documentation) | https://picat-lang.org/


## Combined YAML source

View the package source record on GitHub. [combined/picat.yml](https://github.com/mxcl/pkgdb/blob/main/combined/picat.yml)


## 来源

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