Automic Vault

brew パッケージインテリジェンス

creduce をインストール

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

インストール

Automic Vault でインストール

Automic Vault
sudo av install brew:creduce

macOS

Homebrew 確認済み · 100%
brew install creduce

local Homebrew formula metadata

MacPorts 確認済み · 94%
sudo port install creduce

MacPorts ports tree · devel/creduce/Portfile · ソース: api.github.com

Linux

Debian apt 確認済み · 92%
sudo apt install creduce

Debian stable package indexes · creduce · ソース: deb.debian.org

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

nixpkgs package indexes · pkgs/by-name/cr/creduce/package.nix · ソース: api.github.com

プラットフォームノート

  • パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Automic Vault は、creduce のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

コマンドとエイリアス

  • creduce

ソース概要

Reduce a C/C++ program while keeping a property of interest

セキュリティ状態

リスクレベル: green

narrow executable package without higher-risk signals.

リスク分類器

green リスク · low 信頼度 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • 2 件の実行時依存関係とともにインストールされます。

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
creducecliglobal executable

鮮度

バージョンと鮮度

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

ページ生成日2026-05-26
マネージャ版2.10.0
マネージャ更新日2026-03-17
ローカルデータok
上流current
検出された最新creduce-2.10.0

https://github.com/csmith-project/creduce

  • ok鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:creduce
バージョン2.10.0
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/creduce
ホームページhttps://github.com/csmith-project/creduce
リポジトリhttps://github.com/csmith-project/creduce
ライセンスBSD-3-Clause
ソースアーカイブhttps://github.com/csmith-project/creduce/archive/refs/tags/creduce-2.10.0.tar.gz
更新2026-03-17T18:40:37-04:00
Pulseupdated
依存関係astyle, llvm@20
macOS 提供ライブラリperl
Bottle利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
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