skills.homes logoskills.homescapability registry
home/categories/machine-learning/benbrastmckie-nvim-opencode-extensions-lean-skills-skill-lean-research-skill-md
cd ..
machine-learningdata-ai

skill-lean-research

Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.

स्रोत देखेंmachine-learning
benbrastmckie
maintainer
benbrastmckie
अपडेट किया गया 3/13/2026
स्टार
438
फोर्क
466
quick start

Installation and usage

Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.

इंस्टॉलेशन
$ install --globalskills.sh
उपयोग

इंस्टॉल करने के बाद, आप टर्मिनल में यह कमांड चलाकर इस स्किल का उपयोग कर सकते हैं:

skills use skill-lean-research