macOS
Homebrew確認済み · 100%
brew install cryptollocal Homebrew formula metadata
brew
cryptol を Homebrew, pacman, apt でインストール
cryptol のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Arch Linux pacman確認済み · 92%
sudo pacman -S cryptolArch Linux sync databases · cryptol · ソース: geo.mirror.pkgbuild.com
Ubuntu apt確認済み · 92%
sudo apt install cryptolUbuntu 24.04 LTS package indexes · cryptol · ソース: archive.ubuntu.com
概要
パッケージ概要
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
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
- 2 件の実行時依存関係とともにインストールされます。
- ビルドメタデータには 2 件のビルド依存関係があります。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
check-exercises | cli | グローバル実行可能ファイル | |
cryptol | cli | グローバル実行可能ファイル | |
cryptol-html | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-10
マネージャ版3.5.0
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出
https://galoisinc.github.io/cryptol/master/RefMan.html
- 情報No package-manager update timestamp was available.信頼度 低
- 情報Release/tag comparison is only available for GitHub repositories.https://galoisinc.github.io/cryptol/master/RefMan.html信頼度 none
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:cryptol |
|---|---|
| バージョン | 3.5.0 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/cryptol |
| ホームページ | https://galoisinc.github.io/cryptol/master/RefMan.html |
| リポジトリ | https://github.com/GaloisInc/cryptol |
| 上流ドキュメント | https://galoisinc.github.io/cryptol/master/RefMan.html |
| ライセンス | BSD-3-Clause |
| ソースアーカイブ | https://hackage.haskell.org/package/cryptol-3.5.0/cryptol-3.5.0.tar.gz |
| 依存関係 | gmp, z3 |
| ビルド依存関係 | cabal-install, ghc@9.12 |
| macOS 提供ライブラリ | libffi, ncurses |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | cryptol |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Ubuntu apt95%
cryptol 3.0.0-1build1
domain-specific language of cryptography
sudo apt install cryptol- Section: universe/utils
- Architecture: amd64
- Source Package: haskell-cryptol
- 6 依存関係
- normalized package name match
- 一致条件: Cryptol
pacman95%
cryptol 3.3.0-88
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
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment