macOS
Homebrew確認済み · 100%
brew install mlkitlocal Homebrew formula metadata
brew / 順位 15025
mlkit を Homebrew, Nix でインストール
mlkit のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Nix確認済み · 92%
nix profile install nixpkgs#mlkitnixpkgs package indexes · pkgs/by-name/ml/mlkit/package.nix · ソース: api.github.com
概要
パッケージ概要
Compiler for the Standard ML programming language
プロジェクトリンク
コマンドとエイリアス
- kittester
- mlkit
- mlkit-mllex
- mlkit-mlyacc
- reml
- rp2ps
履歴
プロジェクトの歴史と使われ方
MLKit descends from The ML Kit, Version 1, announced by Mads Tofte on 1993-03-12 and attributed there to Nick Rothwell, David N. Turner, Mads Tofte, and Lars Birkedal at Edinburgh and Copenhagen Universities. That early release was distributed with about 100 pages of documentation explaining how to build, run, read, and modify the Kit, making it both a Standard ML implementation and a compiler-hacking vehicle.
プロジェクトの歴史
The later MLKit project became a compiler toolkit for Standard ML with two main compiler paths sharing a frontend and compilation-management scheme: MLKit with Regions, with a native x64 backend based on region inference, and SMLtoJs, a JavaScript backend for browser-targeted Standard ML. Its documentation says it covers all of Standard ML from the 1997 Definition and most of the Standard ML Basis Library.
使われ方
MLKit's distinctive technical role is region-based memory management for ML. The project documentation describes compiler-inferred allocation and deallocation directives, region profiling, C interoperation, and optional reference-tracing garbage collection on top of region inference. In practice it is used both as an SML compiler and as a research/development tool for region inference, SML-to-JavaScript compilation, bootstrapping, ML Basis files, and compatibility work alongside tools such as MLton and smlpkg.
ソース
セキュリティ状態
リスクレベル: yellow
generalized runtime or code generation signal.
リスク分類器
リスク yellow · 信頼度 中 · runtime
理由
- generalized runtime or code generation signal
信号
- text:programming language
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 2 個のプラットフォームターゲットで利用できます。
- 1 件の実行時依存関係とともにインストールされます。
- ビルドメタデータには 2 件のビルド依存関係があります。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
kittester | cli | グローバル実行可能ファイル | |
mlkit | cli | グローバル実行可能ファイル | |
mlkit-mllex | cli | グローバル実行可能ファイル | |
mlkit-mlyacc | cli | グローバル実行可能ファイル | |
reml | cli | グローバル実行可能ファイル | |
rp2ps | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-08-04
マネージャ版4.7.22
マネージャ更新日2026-08-02
ローカルデータOK
上流最新
検出された最新v4.7.22
https://github.com/melsman/mlkit
- OK鮮度警告は生成されていません。
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:mlkit |
|---|---|
| バージョン | 4.7.22 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/mlkit |
| ホームページ | https://melsman.github.io/mlkit |
| リポジトリ | https://github.com/melsman/mlkit |
| 上流ドキュメント | https://melsman.github.io/mlkit |
| ライセンス | GPL-2.0-or-later |
| ソースアーカイブ | https://github.com/melsman/mlkit/archive/refs/tags/v4.7.22.tar.gz |
| 最終更新 | 2026-08-02T08:56:40Z |
| Pulse | updated |
| 依存関係 | gmp |
| ビルド依存関係 | autoconf, mlton |
| Bottle | 利用可能 (対象 sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | mlkit |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Requirements |
|
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | yes |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Nix95%
mlkit
nix profile install nixpkgs#mlkit- normalized package name match
- 一致条件: Mlkit
ソース経路
リポジトリデータから生成
このページは 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
- package relationship graph
- package version freshness
- package-page enrichment
- pkg.so package database
- pkgdb category and tag curation