情報科学 › Claude Code の中身 › 拡張の仕組み

スキル

定義 5.1(「拡張の仕組み」§5)

スキルとは、SKILL.md というファイルを持つディレクトリで、ファイルは YAML の frontmatter(いつ使うかの説明など)と Markdown の本文(指示)からなる。モデルが関連すると判断したとき、または利用者が /<スキル名> と入力したときに呼び出される。スキルの説明は会話の初めから文脈に置かれ、本文は呼び出されたときにメッセージとして文脈に入る。

本文で読む(前後の説明と例)→

閉包の状態

定義

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

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

これを使っている定理

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