pkg.soopen package index

brew / 順位 7337

cryptol を Homebrew, pacman, apt でインストール

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

インストールコマンドセキュリティノート

インストール

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

macOS

Homebrew確認済み · 100%
brew install cryptol

local Homebrew formula metadata

概要

パッケージ概要

Domain-specific language for specifying cryptographic algorithms

コマンドとエイリアス

  • check-exercises
  • cryptol
  • cryptol-html

履歴

プロジェクトの歴史と使われ方

Cryptol is a domain-specific language and toolchain for specifying and checking cryptographic algorithms. It is packaged as a developer tool because its main value is an executable specification language, REPL-like interpreter, and solver-backed verification workflow rather than a conventional application.

プロジェクトの歴史

The official README says Cryptol was designed by Galois for the NSA Laboratory for Advanced Cybersecurity Research as a public standard for specifying cryptographic algorithms. The current repository represents Cryptol version 3 and carries Galois copyright notices beginning in 2013, with the public GitHub repository created in 2014.

採用の歴史

Cryptol is distributed through official GitHub release binaries for macOS, Linux, and Windows, and the README explicitly documents Homebrew installation for macOS. The supplied package metadata also lists Arch and Ubuntu packages, reflecting a tool that is niche but important enough for language, formal-methods, and cryptography users to want through normal package channels.

使われ方

Users write executable specifications of cryptographic algorithms in Cryptol, then use the interpreter's :check command for randomized testing and :prove or :sat commands through SMT solvers such as Z3. The README also points users toward examples, the standard library, and the related SAW tooling for checking implementations against specifications.

パッケージ好きにとっての重要性

Cryptol is interesting to packagers because it bundles a language runtime, documentation, examples, and solver expectations into a CLI package. Its README notes that Homebrew installs the appropriate Z3 version automatically, which is the kind of dependency detail that determines whether a formal-methods package works out of the box.

タイムライン

  • 2013: The version 3 codebase carries Galois copyright notices beginning in this year.
  • 2014: The official GitHub repository was created.
  • 2026: The hosted reference manual shows active 3.x documentation and master-branch docs.

Related projects

  • Cryptol is closely related to Galois's SAW tools and to the cryptol-specs repository of example specifications. Its everyday operation also depends on SMT solvers such as Z3.

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

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

推奨レビュー

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

実行可能ファイル

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

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

鮮度

バージョンと鮮度

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

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

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:cryptol
バージョン3.5.0
パッケージマネージャHomebrew
ホームページhttps://galoisinc.github.io/cryptol/master/RefMan.html
リポジトリhttps://github.com/GaloisInc/cryptol
最終更新2026-07-22T14:10:44Z
Pulseupdated
Bottle未記録
サービス宣言なし

ソースデータベース一致

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

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

Ubuntu apt95%

cryptol 3.0.0-1build1

domain-specific language of cryptography

http://www.cryptol.net/

sudo apt install cryptol
  • Section: universe/utils
  • Architecture: amd64
  • Source Package: haskell-cryptol
  • 6 依存関係
  • normalized package name match
  • 一致条件: Cryptol
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: cryptol from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
pacman95%

cryptol 3.3.0-129

The Language of Cryptography

https://tools.galois.com/cryptol

sudo pacman -S cryptol
  • License: BSD-3-Clause
  • Architecture: x86_64
  • 32 依存関係
  • normalized package name match
  • 一致条件: Cryptol
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: cryptol from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

エージェント安全ガイド

ソース経路

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

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

使用ソース

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