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