Automic Vault

brew 软件包情报

安装 civl

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

安装

使用 Automic Vault 安装

Automic Vault
下载 AV
sudo av install brew:civl

macOS

Homebrew 已验证 · 100%
brew install civl

local Homebrew formula metadata

平台说明

  • 没有特定于此软件包的平台说明。

概览

软件包摘要

Automic Vault 根据本地软件包数据发布 civl 的安装路径、可执行文件事实和安全元数据。

命令和别名

  • civl

来源摘要

Concurrency Intermediate Verification Language

安全态势

风险级别:blue

broad file, network, media, or database tool signal.

风险分类器

blue 风险 · medium 置信度 · tool

原因

  • broad file, network, media, or database tool signal

信号

  • text:media

安装行为

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 1 platform targets.
  • 安装时包含 2 个运行时依赖。

建议审查

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

可执行文件

已安装的可执行文件

命令类型暴露范围备注
civlcliglobal executable

新鲜度

版本和新鲜度

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

页面生成时间2026-05-26
管理器版本1.22-5854
管理器更新时间2026-02-19
本地数据ok
上游not checked
检测到的最新版本未检测到

https://vsl.cis.udel.edu/civl/

安装元数据

软件包元数据

软件包键brew:civl
版本1.22-5854
软件包管理器Homebrew
软件包管理器页面https://formulae.brew.sh/formula/civl
主页https://vsl.cis.udel.edu/civl/
上游文档https://vsl.cis.udel.edu/civl/
许可证GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
源码归档https://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz
更新2026-02-19T14:35:27+01:00
Pulseupdated
依赖openjdk, z3
Bottle可用 (all)
Homebrew post-install未定义
服务未声明

来源线索

由仓库数据生成

此页面由 scripts/generate-pkg-pages.py 写入。如果 www/pkg/ 相对于本地软件包数据已过期,部署会拒绝发布。

使用的来源

  • Geiger risk classifier
  • Nucleus package database
  • cross-ecosystem install command graph
  • package relationship graph
  • package version freshness
  • package-page enrichment