scientific-computingresearch
skill-researcher
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
maintainer
benbrastmckie
更新於 1/14/2026
星標
432
分支
463
quick start
Installation and usage
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
安裝
$ install --globalskills.sh
使用
安裝後，您可以透過在終端機執行以下指令來使用此技能：
skills use skill-researcher