macOS
Homebrewvérifié · 100%
brew install mercuryprovider-native install command
brew / rang 7569
Installer mercury avec Homebrew
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de mercury pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
aperçu
Résumé du paquet
Logic/functional programming language
Liens du projet
Commandes et alias
- c2init
- canonical_grade
- info_to_mdb
- mcov
- mdb
- mdemangle
- mdice
- mdprof
- mdprof_cgi
- mdprof_create_feedback
- mdprof_dump
- mdprof_report_feedback
- mdprof_test
- mercury
- mercury_compile
- mercury_config
- mercury_profile
- mercury_update_interface
- mfiltercc
- mfilterjavac
- mgnuc
- mkfifo_using_mknod
- mkinit
- ml
- mmake
- mmc
- mprof
- mprof_merge_runs
- mslice
- mtags
- mtc
- mtc_diff
historique
Historique du projet et usages
Mercury is a pure logic programming language that grew out of the University of Melbourne logic-programming research community. The Mercury project describes the language as Prolog-like in syntax but different in semantics because of its purity and its static type, mode, determinism, and module systems. Early papers by Zoltan Somogyi, Fergus Henderson, and Thomas Conway documented the implementation in 1994 and presented Mercury as an efficient purely declarative logic language in 1995.
Historique du projet
The compiler became a substantial part of the project identity: it is written in Mercury, was bootstrapped from Prolog systems, and compiles Mercury code through C as a portable assembler while using GNU C extensions when available for better code generation. The user guide exposes a full development toolchain around `mmc`, `mmake`, debugging, profiling, generated interface files, and multiple target-language grades.
Modes d'utilisation
In package-manager terms, the Homebrew package is a language runtime and compiler suite rather than a small single-command utility. It installs the compiler, build tools, debugger, profiler, and support commands used to compile and inspect Mercury programs. Its niche is close to Prolog and functional-language systems: users pick it when they want logic programming with stronger compile-time guarantees, determinism checking, and efficient native-code-oriented compilation.
Sources
posture de sécurité
Niveau de risque : yellow
generalized runtime or code generation signal.
Classificateur de risque
risque yellow · confiance moyen · runtime
Pourquoi
- generalized runtime or code generation signal
Signaux
- text:programming language
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 |
|---|---|---|---|
c2init | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
canonical_grade | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
info_to_mdb | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mcov | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdb | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdemangle | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdice | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdprof | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdprof_cgi | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdprof_create_feedback | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdprof_dump | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdprof_report_feedback | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mdprof_test | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mercury | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mercury_compile | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mercury_config | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mercury_profile | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mercury_update_interface | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mfiltercc | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mfilterjavac | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mgnuc | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mkfifo_using_mknod | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mkinit | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ml | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mmake | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mmc | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mprof | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mprof_merge_runs | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mslice | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mtags | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mtc | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mtc_diff | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
mtc_union | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
prepare_install_dir | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
vpath_find | 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 gestionnaire22.01.8
gestionnaire mis à jour2026-07-23
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:mercury |
|---|---|
| Version | 22.01.8 |
| Gestionnaire de paquets | Homebrew |
| Page d'accueil | https://mercurylang.org/ |
| Dernière mise à jour | 2026-07-23T16:36:10Z |
| 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