writing-lean-proofs プラグイン
Structured Lean 4 proof writing and library design following Mathlib conventions
writing-lean-proofs プラグインのインストール方法
両方のコマンドを Claude Code 内で実行してください。最初のコマンドで marketplace を一度追加し、2 番目のコマンドでプラグインをインストールします。
/plugin marketplace add trailofbits/skills
/plugin install writing-lean-proofs@trailofbitswriting-lean-proofs の内容
プラグイン自身のファイルから読み込まれた 1 個のパーツ です。
SKILL 1
タスクが一致したときに Claude が読み込みます- writing-lean-proofs
Writes and reviews structured Lean 4 proofs and designs libraries following Mathlib conventions.
Claude Code での writing-lean-proofs の使用方法
SKILL にコマンドは不要です。リクエストが説明と一致したときに Claude が読み込みます。
更新、オフ、または削除
- プラグインを更新 (shell)
- claude plugin update writing-lean-proofs@trailofbits
- marketplace を更新
- /plugin marketplace update trailofbits
- 一時的にオフにする
- /plugin disable writing-lean-proofs@trailofbits
- 削除する
- /plugin uninstall writing-lean-proofs@trailofbits
writing-lean-proofs のスキル
Writes and reviews structured Lean 4 proofs and designs libraries following Mathlib conventions.
9件のファイル8136スター
writing-lean-proofs プラグインに関する質問
writing-lean-proofs プラグインをインストールするにはどうすればよいですか。
Claude Code で /plugin marketplace add trailofbits/skills を実行し、続いて /plugin install writing-lean-proofs@trailofbits を実行します。
writing-lean-proofs プラグインには何が含まれていますか。
writing-lean-proofs には 1 件のスキル が含まれています。
writing-lean-proofs プラグインを更新または削除するにはどうすればよいですか？
shell で claude plugin update writing-lean-proofs@trailofbits を使用して更新するか、/plugin の Installed タブから行ってください。削除するには /plugin uninstall writing-lean-proofs@trailofbits を使用してください。