Claude Skills by FreePeak

Query LeanKG knowledge graph for code understanding. Use when exploring a codebase, finding functions, tracing dependencies, or calculating impact radius.

Use for ANY code search, navigation, or finding code logic - "where is X", "find logic Y", "how does Z work", impact analysis, dependencies. LeanKG is MANDATORY first.

Dispatch implementation tickets through the DevAgent pipeline (worktree isolation, test gates, PR delivery) from any agent session.