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

Использование

После установки вы можете использовать этот skill, выполнив следующую команду в терминале:

skills use windows-vm-incus