skill-researcher

•published 2026/01/22

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

Install directly with the `skills` CLI.

npx skills add benbrastmckie/ModelChecker/.claude/skills/skill-researcher

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content