Verified record · from the answer index
skill-researcher
skilltested · static-verifiedscore 20/100signed passport ✓published 262d ago · verified 2026-10-201 uses
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
Declared tools (1)
skill-researcher
skill:benbrastmckie/.config/skill-researcher · published by benbrastmckie · source repository