# Verification repositories

Source: https://www.gstars.dev/c/verification
Tracked repositories: 2
Ranking: Total stars

1. [trufflesecurity/trufflehog](https://www.gstars.dev/repo/trufflesecurity/trufflehog) — 29172 stars
2. [model-checking/kani](https://www.gstars.dev/repo/model-checking/kani) — 3647 stars

Category/topic matches include curated categories and collected GitHub topics. Coverage is limited to tracked active, non-archived, non-fork repositories. See https://www.gstars.dev/methodology for measurement limits.