MiniOS開発ブリッジ｜AIスキル大辞典

このSkillでできること

✓MiniOS上でソースファイルを作成・編集する
✓miniGCCやldを使ってコンパイル・リンクし、プログラムを実行する
✓MCP経由のQEMUシリアルコンソールで実行結果や終了コードを確認する
✓MiniOS、miniGCC、ld、cvm/cvm2の拡張をホスト側で検証する

使い方

STEP 1

minios-* MCPツールで起動したMiniOSのセッションを維持する

STEP 2

ソース作成、コンパイル、リンク、署名、実行の順に確認する

STEP 3

タイムアウト時はminios_snapshotで状態を確認し、待機中の入力を特定する

STEP 4

作業完了後はMiniOSを終了し、変更をフルループで再検証する

Skillのインストール

AIにこのSkillを追加してもらう

GitHub URLごとCodexやClaude Codeへ渡し、現在の環境に合う方法を判断してもらいます。

このGitHubリポジトリにあるSkillを確認し、現在の環境に適した方法でインストールしてください。
インストール後、正常に利用できることを確認し、基本的な使い方も簡潔に説明してください。

Repository:
https://github.com/grisuno/miniOS

手動でインストールする

README / SKILL.mdから機械抽出できたコマンドのみ表示しています。推測したコマンドではありません。

git clone https://github.com/grisuno/miniOS.git
cd miniOS
make sources        # clone the toolchain siblings (miniGCC, ld, cvm, ...)
make                # build os.img
make update         # bring the newest sources (all of them, or `make update freedom`)
make run-kvm        # boot it in KVM mode
make run-headless   # boot it on the serial console
make run            # boot it in QEMU

このSkillを使うプロンプト例

Skill名を明示すると、意図したSkillを使わせやすくなります。自動発動型では必須とは限りません。

MiniOS上で簡単なCプログラムを作成し、コンパイル、リンク、実行まで行って終了コードを確認してください。

安全性チェック

自動解析による参考情報です。Skillの安全性を保証するものではありません。

外部API通信検出あり

Shellコマンド実行検出あり

ファイル読み取り明確な記述なし

ファイル書き込み明確な記述なし

ネットワークアクセス検出あり

認証情報明確な記述なし

検出根拠を見る

shell: umbers: **[docs/cheatsheet.md](docs/cheatsheet.md)**. ```bash miniOS> edit src/p.c miniOS> run objects/minigcc.o src/p.c > asm/p.s miniOS> run objects/
network: omnibox: a query searches minios_send {line: "freedom https://duckduckgo.com"} minios_send {line: "freedom http://10.0.2.2:8899/README.txt"} minios_send
network: m https://duckduckgo.com"} minios_send {line: "freedom http://10.0.2.2:8899/README.txt"} minios_send {line: "freedom --dump-dom https://example.com"} [l

minios

このSkillでできること

使い方

Skillのインストール

AIにこのSkillを追加してもらう

このSkillを使うプロンプト例

安全性チェック

関連Skill

create-verification-skill

asd-ste100

mintlify