职业分类
未分类
描述
Code search via LeanKG MCP when HTTP :9699 is healthy; otherwise skip LeanKG and use default Grep/Glob/Read. Invoke before code navigation when LeanKG may apply.
原文语言：英语
更新
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 2
- GitHub 星标
- 215
- GitHub Forks
- 26
这个仓库中的 skills
职业分类待补全
已展示 2 / 2 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
未分类
描述
Code search via LeanKG MCP when HTTP :9699 is healthy; otherwise skip LeanKG and use default Grep/Glob/Read. Invoke before code navigation when LeanKG may apply.
原文语言：英语
更新
已展示 2 / 2 个已收集 Skill。