Plugin writing-lean-proofs

trailofbits/skills8.136 starsv0.1.2

Structured Lean 4 proof writing and library design following Mathlib conventions

Cara install plugin writing-lean-proofs

Jalankan kedua perintah di dalam Claude Code. Perintah pertama menambahkan marketplace sekali; perintah kedua meng-install plugin.

Claude Code

/plugin marketplace add trailofbits/skills
/plugin install writing-lean-proofs@trailofbits

Apa yang ada di dalam writing-lean-proofs

1 bagian dibaca dari file asli plugin tersebut.

Skills 1

Claude memuatnya saat tugas sesuai

writing-lean-proofs
Writes and reviews structured Lean 4 proofs and designs libraries following Mathlib conventions.

Menggunakan writing-lean-proofs di Claude Code

SKILL tidak memerlukan command. Claude membacanya saat permintaan Anda sesuai dengan deskripsinya.

Update, matikan, atau hapus

Update plugin (shell): claude plugin update writing-lean-proofs@trailofbits
Refresh marketplace: /plugin marketplace update trailofbits
Matikan untuk sementara: /plugin disable writing-lean-proofs@trailofbits
Hapus: /plugin uninstall writing-lean-proofs@trailofbits

Skill dalam writing-lean-proofs

writing-lean-proofstrailofbits/skillsResmi
Writes and reviews structured Lean 4 proofs and designs libraries following Mathlib conventions.
9 file
8,1 rbbintang

Pertanyaan tentang plugin writing-lean-proofs

Bagaimana cara install plugin writing-lean-proofs?

Di Claude Code, jalankan /plugin marketplace add trailofbits/skills, lalu /plugin install writing-lean-proofs@trailofbits.

Apa saja yang disertakan plugin writing-lean-proofs?

writing-lean-proofs membundel 1 skill.

Bagaimana cara update atau menghapus plugin writing-lean-proofs?

Update dengan claude plugin update writing-lean-proofs@trailofbits di shell Anda, atau dari tab Installed di /plugin. Hapus dengan /plugin uninstall writing-lean-proofs@trailofbits.