skills.homes logoskills.homescapability registry
home/categories/business-apps/leanprover-community-bundle-claude-skills-windows-vm-incus-skill-md
cd ..
business-appsbusiness

windows-vm-incus

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
leanprover-community
maintainer
leanprover-community
آخر تحديث 3/26/2026
النجوم
1
التفرعات
0
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