skill-researcher

Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.