Checker

checker

Active listings observed under this identifier in the VSX Atlas catalog. Matching identifiers across registries do not establish common ownership. Verification is shown per listing.

Extensions1Distinct extension identifiers across registries

Marketplace installs36Total from all extensions

Open VSX downloads—No active listings observed

Extensions

VS Marketplace Sync: Nov 5, 2026, 22:14 UTC

Extensions under checker. Marketplace installs and Open VSX downloads are separate measures. Category ranks show observed positions or a confirmed position beyond the first 1,000 results.
Extension	VS Marketplace	Open VSX
Nat-Ded-Proofschecker.natdedproofs	Installs 360.0% · 7d Rating — Category rank >1,000 · Programming Languages Latest v0.0.1 · May 23, 2023	Not listed