Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.
27
Stars
66/100
신뢰
카테고리: coding-agents감사
Skill 디렉토리
AI Agent를 위한 재사용 가능한 Skill을 찾으세요.
작업으로 실제 GitHub Skill을 검색하고 사용 전에 Stars, 신뢰, 감사, 카테고리, 설치 경로를 확인하세요.
모든 추천은 리포지토리, 감사, 설치 경로와 명확하게 연결됩니다.