leanprover-community

GitHub 제작자 프로필

leanprover-community

2개 GitHub 저장소에서 수집된 2개 skills를 저장소 단위로 보여줍니다.

github/leanprover-community 가장 큰 저장소: lean-update

수집된 skills

2

저장소

2

업데이트

2026년 6월 17일

저장소 지도

skills가 있는 위치

수집된 skill 수가 많은 주요 저장소와 이 제작자 카탈로그 내 비중, 직업 분포를 보여줍니다.

skills 1개 · 2026년 6월 17일

소프트웨어 개발자

직업 카테고리 1개 · 100% 분류됨

skills 1개 · 2026년 3월 26일

네트워크·컴퓨터 시스템 관리자

직업 카테고리 1개 · 100% 분류됨

저장소 탐색

저장소와 대표 skills

제작자/저장소/skill

skills 1개772026년 6월 17일 업데이트

제작자 내 50%

skill

직업 분류

설명

업데이트

create-release-note

소프트웨어 개발자

Use when writing release notes

2026년 6월 17일

skills 1개102026년 3월 26일 업데이트

제작자 내 50%

skill

직업 분류

설명

업데이트

windows-vm-incus

네트워크·컴퓨터 시스템 관리자

Create and manage Windows VMs using Incus for local testing. Use when the user needs a Windows environment for testing, CI validation, or running Windows-specific tools.

2026년 3월 26일

저장소 2개 중 2개 표시

모든 저장소를 표시했습니다