Linty Formal Verification
Verified publisherWhat a VS Code verified publisher badge means, compared with Open VSX →
Easily generate and run formal verification checks
Tracked since 5 Sept 2026
Daily readings on both stores, taken by us. As of 25 Sept 2026.
Each bar is one day’s change in the store’s own counter. Open VSX counts a download on every update, so a day includes updates by people who already had it.
Where Linty Formal Verification ranks in search
Positions observed daily on both stores. Neither store publishes this, and the two run separate search engines over separate catalogues.
| Search | Marketplace | Open VSX |
|---|---|---|
| lint | #362of 1,747↓35 7d | #250of 693↑98 7d |
| format | — | #254of 448↑64 7d |
2 more searches, day-by-day history, and the extensions ranked above it. See plans | ||
VS Code Marketplace search ranking: measuring jitter and real movement →
- Installs
- 96+1.0% 7d
- Rating
- —unrated
- Rank in Testing
- >1,000of 2,370
- Latest
- v1.3.011 Sept 2026
5 releases · first published Feb 2026
Why the Open VSX download count looks inflated →
- Downloads
- 362+32.6% 7d
- Rating
- —from 0 reviews
- Rank in Testing
- #704of 726
- Latest
- v1.3.011 Sept 2026
Downloads count every update, not unique installs.
What the publisher says
Linty Formal Verification’s own readme, changelog and license, as published to the VS Code Marketplace.