windows-vm-incus

Name: windows-vm-incus
Author: leanprover-community

Create and manage Windows VMs using Incus for local testing. Use when the user needs a Windows environment for testing, CI validation, or running Windows-specific tools.

查看源码 business-apps

maintainer

leanprover-community

更新于 3/26/2026

星标

分支

quick start

Installation and usage

Create and manage Windows VMs using Incus for local testing. Use when the user needs a Windows environment for testing, CI validation, or running Windows-specific tools.

安装

$ install --globalskills.sh

使用

安装后，您可以通过在终端运行以下命令来使用此技能：

skills use windows-vm-incus