explainer 人間の理解がボトルネックになっている。 エージェントは書くのが速いが、読み手は追いつけない。 このスキルは、 読み手の頭の中にあるものとの差分だけ を、検証済みの主張と図で渡す。 ELI5 との違いは 2 つ。 1. 読み手を「5 歳」「マネージャー」のような型でなく、実在の 1 人のペルソナとして持つ。知っていることは書かない。 2. 書いた主張を道具で検査する。「自分で書いていて自信がなくなる」を、検査の緑に置き換える。 読了が 20 分を超える、演習が要る、概念に順序がある。このどれかなら、章立ての を使う。 準備（初回だけ） スクリプトは、このスキルのディレクトリ（以下 ）の にあります。 依存は、資料を置くリポジトリに入れます。Node 24 以上が必要です。 D2 の図（ ）を使うときは の CLI、データの図（ ）を使うときは と 、アイコンを使うときは と も入れます。 形式手法の例を扱うときは、TLC（Java 11+）や Apalache（Java 17+）、 も入れます。 は （tla2tools.jar）と （apalache-mc）を、リポジトリの から探します。 手順 1. ペルソナ のテンプレートで作る。材料は 2 つ。 - 質問：本人に聞けるなら、最大 5 問。「いま何を使っているか」「どこで手が止まったか」「読む時間」「好きな…