プラグインとマーケットプレイス

定義 6.1（「拡張の仕組み」§6）

プラグインとは、スキル・エージェント・フック・MCP サーバなどの部品を入れたディレクトリで、Claude Code が 1 つの単位として導入し読み込むものをいう。名前などを書くマニフェストは .claude-plugin/plugin.json に置く。マーケットプレイスとは、.claude-plugin/marketplace.json を持つリポジトリまたはディレクトリで、プラグインとその取得元の一覧（カタログ）である。

本文で読む（前後の説明と例）→

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。