scientific-computingresearch
skill-researcher
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
maintainer
benbrastmckie
์
๋ฐ์ดํธ๋จ 2026. 1. 14.
์คํ
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