Apps Packs Security Leaderboard Docs

Your pack

Your pack is empty

Add apps from any package page to build a single winget script that installs them all in one go.

Browse apps Pick a template

GitHub Built by Pckgr↗

wingetly

Browse, bundle, install. Every winget app in one place.

A free community resource for the Winget ecosystem, built and maintained by Pckgr.

Catalog

All apps
Packs
Docs
Compare

Project

Privacy
About
Feedback

Built by

Wingetly is built and maintained by Pckgr - application packaging, deployment and patching for Microsoft Intune and RMM.

© 2026 Wingetly · A Pckgr projectData from microsoft/winget-pkgs

Apps Packs Security Leaderboard Docs

Your pack

Your pack is empty

Add apps from any package page to build a single winget script that installs them all in one go.

Browse apps Pick a template

GitHub Built by Pckgr↗

Results for "tags:formal-verification"

1 winget apps indexed. Showing results for tags:formal-verification.

Filters1⌄

Search

Sort

Installer type

MSIMSIXEXEInnoNSISWiXZIPPortable

Architecture

x64x86arm64armneutral

Other

Has icon

Showing 1–1 of 1Reset filters

V
VerifpalSymbolic Software
SymbolicSoftware.Verifpalv1.6.6
Cryptographic protocol analysis for real-world cryptographic protocols.

wingetly

Browse, bundle, install. Every winget app in one place.

A free community resource for the Winget ecosystem, built and maintained by Pckgr.

Catalog

All apps
Packs
Docs
Compare

Project

Privacy
About
Feedback

Built by

Wingetly is built and maintained by Pckgr - application packaging, deployment and patching for Microsoft Intune and RMM.

© 2026 Wingetly · A Pckgr projectData from microsoft/winget-pkgs