Skip to main content
skillsmp

Menu

FreePeak/LeanKG

SkillsMP has collected 2 skills from FreePeak/LeanKG. Open a skill to review its source and details.

FreePeak profileView on GitHub
Latest recorded source activity
SkillsMP catalog refreshed
skills collected
2
GitHub stars
215
GitHub forks
26

Skills in this repository

classification pending

Showing 2 of 2 collected skills.

using-leankg

occupation
unclassified
description

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.

updated

using-leankg

occupation
unclassified
description

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.

updated
Showing 2 of 2 collected skills.