직업 분류
소프트웨어 개발자
설명
Retrieve and investigate failing Lean CI job logs. Use when a CI job fails and you need to fetch its logs, or when monitoring a CI run for failures.
원문 언어: 영어
업데이트
leanprover/lean4
- 최근 기록된 소스 활동
- SkillsMP 카탈로그 업데이트
- 수집된 skills
- 6
- GitHub 스타
- 9,400
- GitHub 포크
- 1,019
저장소 README를 불러오는 중…
이 저장소의 skills
직업 카테고리 2개 · 100% 분류됨
수집된 skill 6개 중 6개를 표시합니다.
skill
직업 분류
설명
업데이트
직업 분류
소프트웨어 개발자
설명
Build and run tests against the stage2 Lean compiler. Use when asked to build, rebuild, or test against stage2.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 품질 보증 분석가·테스터
설명
Diagnose a spurious stage1 test failure caused by olean-persisted compiler changes. Use when a stage1 test fails unexpectedly and the change adds or modifies an environment extension or other information persisted into .olean files.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Write the Highlights section for Lean 4 release notes. Use when asked to write, draft, or update release highlights for a Lean version.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Profile Lean programs with demangled names using samply and Firefox Profiler. Use when the user asks to profile a Lean binary or investigate performance.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Extract Zulip thread HTML dumps into readable plain text. Use when the user provides a Zulip HTML file or asks to parse/read/convert/summarize a Zulip thread.
원문 언어: 영어
업데이트
수집된 skill 6개 중 6개를 표시합니다.
AI 어시스턴트로 설치
이 프롬프트를 복사해 사용 중인 AI 어시스턴트에 입력하세요.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/leanprover/lean4.