Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.
27
Stars
66/100
Kepercayaan
Kategori: coding-agentsAudit
Direktori skill
Temukan skill yang dapat digunakan kembali untuk AI agents.
Cari skill GitHub nyata berdasarkan tugas lalu periksa stars, trust, audit, kategori, dan jalur pemasangan sebelum digunakan.
Setiap rekomendasi tetap terhubung dengan repositori, audit, dan jalur pemasangannya.