macOS
Homebrewvérifié · 100%
brew install cryptolprovider-native install command
brew / rang 7333
Installer cryptol avec Homebrew
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de cryptol pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
aperçu
Résumé du paquet
Domain-specific language for specifying cryptographic algorithms
Liens du projet
Commandes et alias
- check-exercises
- cryptol
- cryptol-html
historique
Historique du projet et usages
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.
Historique du projet
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.
Historique d'adoption
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.
Modes d'utilisation
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.
Pourquoi les passionnés de paquets s'y intéressent
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.
Chronologie
- 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.
Sources
posture de sécurité
Niveau de risque : vert
narrow executable package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- narrow executable package without higher-risk signals
Signaux
- metadata:no-higher-risk-signals
Comportement d'installation
- Aucune métadonnée de bottle Homebrew n’a été enregistrée.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
check-exercises | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
cryptol | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
cryptol-html | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-08-03
version du gestionnaire3.5.0
gestionnaire mis à jour2026-07-22
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
- OKAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:cryptol |
|---|---|
| Version | 3.5.0 |
| Gestionnaire de paquets | Homebrew |
| Page d'accueil | https://galoisinc.github.io/cryptol/master/RefMan.html |
| Dépôt | https://github.com/GaloisInc/cryptol |
| Dernière mise à jour | 2026-07-22T14:10:44Z |
| Pulse | updated |
| Bouteille | non enregistré |
| Service | aucun déclaré |
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- Geiger risk classifier
- Nucleus package database
- curated package history
- pkgdb category and tag curation