$ npx skills add https://github.com/11vated/nexus --skill lean
Use this skill when working on lean theorem.