职业分类
软件开发工程师
描述
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,494
- GitHub Forks
- 1,037
正在加载仓库 README…
这个仓库中的 skills
2 个职业分类 · 已分类 100%
已展示 6 / 6 个已收集 Skill。
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.
原文语言：英语
更新
已展示 6 / 6 个已收集 Skill。
用 AI 助手安装
复制这段 Prompt，发给你正在使用的 AI 助手。
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/leanprover/lean4.