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