macOS
Homebrew確認済み · 100%
brew install mercurylocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install mercuryMacPorts ports tree · lang/mercury/Portfile · ソース: api.github.com
brew / 順位 7574
mercury を Homebrew, apk, MacPorts, Nix, winget, zypper でインストール
mercury のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Alpine Linux apk確認済み · 92%
sudo apk add mercuryAlpine Linux edge package indexes · mercury · ソース: dl-cdn.alpinelinux.org
Nix確認済み · 92%
nix profile install nixpkgs#mercurynixpkgs package indexes · pkgs/by-name/me/mercury/package.nix · ソース: api.github.com
openSUSE zypper確認済み · 92%
sudo zypper install lua-lmodopenSUSE Tumbleweed package metadata · lua-lmod · ソース: download.opensuse.org
Windows
Windows Package Manager確認済み · 92%
winget install --id Alex313031.Mercury -eWindows Package Manager source index · Alex313031.Mercury · ソース: cdn.winget.microsoft.com
概要
パッケージ概要
Logic/functional programming language
プロジェクトリンク
コマンドとエイリアス
- 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
履歴
プロジェクトの歴史と使われ方
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.
プロジェクトの歴史
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.
使われ方
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.
ソース
セキュリティ状態
リスクレベル: yellow
generalized runtime or code generation signal.
リスク分類器
リスク yellow · 信頼度 中 · runtime
理由
- generalized runtime or code generation signal
信号
- text:programming language
インストール挙動
- Homebrew bottle メタデータは記録されていません。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
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 | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
mtc_union | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
prepare_install_dir | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
vpath_find | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-08-03
マネージャ版22.01.8
マネージャ更新日2026-07-23
ローカルデータ不明
上流利用不可
検出された最新未検出
- OK鮮度警告は生成されていません。
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:mercury |
|---|---|
| バージョン | 22.01.8 |
| パッケージマネージャ | Homebrew |
| ホームページ | https://mercurylang.org/ |
| 最終更新 | 2026-07-23T16:36:10Z |
| Pulse | updated |
| Bottle | 未記録 |
| サービス | 宣言なし |
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Nix95%
mercury
nix profile install nixpkgs#mercury- normalized package name match
- 一致条件: Mercury
apk95%
mercury 22.01.8-r1
Compiler for the Mercury language
sudo apk add mercury- License: GPL-2.0-only
- Architecture: x86_64
- Source Package: mercury
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Mercury
apk95%
mercury-doc 22.01.8-r1
Compiler for the Mercury language (documentation)
sudo apk add mercury-doc- License: GPL-2.0-only
- Architecture: x86_64
- Source Package: mercury
- normalized package name match
- 一致条件: Mercury
apk95%
mercury-libs 22.01.8-r1
Mercury shared library (libraries)
sudo apk add mercury-libs- License: GPL-2.0-only
- Architecture: x86_64
- Source Package: mercury
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Mercury
MacPorts95%
mercury
sudo port install mercury- normalized package name match
- 一致条件: Mercury
winget95%
Alex313031.Mercury
winget install --id Alex313031.Mercury -e- normalized package name match
- 一致条件: Mercury
MacPorts94%
ml
sudo port install ml- installed executable or alias match
- 一致条件: Ml
zypper92%
lua-lmod 8.7.55-4.5
Lua-based Environment Modules used in HPC
sudo zypper install lua-lmod- License: MIT
- Category: Development/Libraries/Other
- Architecture: x86_64
- Source Package: lua-lmod
- 8 依存関係
- 6 提供
- installed executable or alias match
- 一致条件: Ml
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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