Publisher
Denis Gorbachev
denis-gorbachevMarketplacepublisherVerified
Every public listing published under this name on the VS Code Marketplace and Open VSX. The same name on the two registries is shown together; each registry's numbers stay in their own column.
What a VS Code verified publisher badge means, compared with Open VSX →
- Marketplace installs
- 3,5732 listed
- Open VSX downloads
- —Not published here
- Extensions
- 2distinct publisher.name keys
Extensions
By Marketplace installs, then Open VSX downloads · Data as of 25 Sept 2026, 06:15 UTC
| Extension | MP Installs · 7d | OVSX Downloads · 7d | Rating | Category rank | Latest |
|---|---|---|---|---|---|
Lean 4 Code Actionsdenis-gorbachev.lean4-code-actions | 2,847+1.0% | Not listed | MP— | MP>1,000of 5,055Formatters | v1.1.3225 Jul 2024 |
Lean 4 Custom Language Configurationdenis-gorbachev.lean4-language-configuration | 726+1.1% | Not listed | MP— | MP>1,000of 5,055Formatters | v1.0.615 Aug 2023 |
Open VSX downloads count every update, so they are never added to or compared with Marketplace installs. Growth is the 7-day change as a percentage of the count a week earlier.