Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
Install
npx skills add benbrastmckie/nvim --skill skill-researchernpx skills add benbrastmckie/nvim --skill skill-researcher -a claude-code -gnpx skills add benbrastmckie/nvim --skill skill-researcher -a codex -ggemini skills install https://github.com/benbrastmckie/nvim.git --path .claude/skills/skill-researchergh skill install benbrastmckie/nvim skill-researchergit clone --depth 1 https://github.com/benbrastmckie/nvim /tmp/benbrastmckie__nvim
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/benbrastmckie__nvim/.claude/skills/skill-researcher ~/.claude/skills/skill-researcher # Claude Code
cp -R /tmp/benbrastmckie__nvim/.claude/skills/skill-researcher ~/.agents/skills/skill-researcher # Codex, Cursor, Gemini CLI, Copilot, OpenCode