macOS
brew install mdklocal Homebrew formula metadata
sudo port install mdkMacPorts ports tree · lang/mdk/Portfile · ソース: api.github.com
brew
mdk のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install mdklocal Homebrew formula metadata
sudo port install mdkMacPorts ports tree · lang/mdk/Portfile · ソース: api.github.com
sudo dnf install mdkFedora Rawhide package metadata · mdk · ソース: dl.fedoraproject.org
nix profile install nixpkgs#mdknixpkgs package indexes · pkgs/by-name/md/mdk/package.nix · ソース: api.github.com
概要
GNU MIX development kit
履歴
GNU MDK, the GNU MIX Development Kit, is a suite of tools for developing programs for Donald Knuth's MIX mythical computer and its MIXAL assembly language. It includes command-line and graphical simulators, an assembler, Guile integration, and Emacs support.
The GNU MDK manual identifies the documented package as version 1.3.0 from October 2020 and states that the manual covers utilities for Donald Knuth's MIX computer and MIXAL. The manual copyright years begin in 2000, showing the package's long-running place in the GNU software collection.
The GNU homepage presents MDK as a GNU project with news, documentation, installation, screenshots, downloads, and Savannah hosting. Homebrew tracked stable version 1.3.1 in 2026, while the input facts list packages across Homebrew, Debian, Ubuntu, Fedora/DNF, MacPorts, and Nix.
MDK's audience is specialized: readers of The Art of Computer Programming, emulator enthusiasts, GNU users, and people studying assembly-language architecture through Knuth's MIX model. Its adoption is therefore broader in distribution coverage than in everyday command-line visibility.
Its continued presence in general-purpose package managers matters because MIX and MIXAL are educational and historical tools. Packaging MDK keeps examples from Knuth's literature runnable on modern Unix-like systems without each user building the GNU source tree manually.
The package provides `mixasm` for assembling MIXAL, `mixvm` for simulating the MIX computer, `gmixvm` as a GTK virtual machine, and `mixguile` for Scheme/Guile interaction. The manual includes installation, a MIX and MIXAL tutorial, getting started material, command reference, and Emacs support.
There is no credential flow. Configuration in the manual is runtime-oriented simulator configuration and build/install flags, not a documented per-user config file location suitable for this schema.
GNU MDK is package-nerd significant because it is a compact bridge between classic computer-science literature and modern package managers. It lets a formula, Debian package, or Nix derivation install an executable environment for MIXAL programs.
It also illustrates why old educational tools remain packaged: not because they are high-volume infrastructure, but because they preserve reproducible access to an important computing model.
セキュリティ状態
mdk に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、Nucleus パッケージメタデータはここに公開されています。
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
gmixvm | cli | グローバル実行可能ファイル | |
mixasm | cli | グローバル実行可能ファイル | |
mixguile | cli | グローバル実行可能ファイル | |
mixvm | cli | グローバル実行可能ファイル |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
https://www.gnu.org/software/mdk/mdk.html
インストールメタデータ
| パッケージキー | brew:mdk |
|---|---|
| バージョン | 1.3.1 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/mdk |
| ホームページ | https://www.gnu.org/software/mdk/mdk.html |
| リポジトリ | https://git.savannah.gnu.org/cgit/mdk.git |
| 上流ドキュメント | https://www.gnu.org/software/mdk/manual |
| ライセンス | GPL-3.0-or-later |
| ソースアーカイブ | https://ftpmirror.gnu.org/gnu/mdk/v1.3.1/mdk-1.3.1.tar.gz |
| 最終更新 | 2026-06-07T13:40:42-04:00 |
| Pulse | updated |
| 依存関係 | adwaita-icon-theme, at-spi2-core, bdw-gc, cairo, flex, gdk-pixbuf, gettext, glib, gtk+3, guile, harfbuzz, pango, readline |
| ビルド依存関係 | gettext, intltool, pkgconf |
| macOS 提供ライブラリ | 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 | mdk |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
mdk 1.3.0+dfsg-4
MIX Development Kit
https://www.gnu.org/software/mdk/mdk.html
sudo apt install mdkmdk
nix profile install nixpkgs#mdkmdk 1.3.0+dfsg-3build2
MIX Development Kit
https://www.gnu.org/software/mdk/mdk.html
sudo apt install mdkmdk 1.3.1-6.fc45
GNU MIX Development Kit
https://www.gnu.org/software/mdk/
sudo dnf install mdkmdk-doc 1.3.1-6.fc45
GNU MIX Development Kit Documentation and Samples
https://www.gnu.org/software/mdk/
sudo dnf install mdk-docmdk
sudo port install mdkソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.