home/categories/cicd/benbrastmckie-nvim-claude-extensions-lean-skills-skill-lean-version-skill-md

cicddevops

skill-lean-version

Name: skill-lean-version
Author: benbrastmckie

Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support

maintainer

benbrastmckie

更新於 3/10/2026

星標

438

分支

466

quick start

Installation and usage

Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support

安裝

$ install --globalskills.sh

使用

安裝後，您可以通過在終端運行以下命令來使用此技能：

skills use skill-lean-version