Lean Scribe
Verified publisherWhat a VS Code verified publisher badge means, compared with Open VSX →
Render and run context-rich Lean 4 prompts.
Tracked since 5 Sept 2026
Daily readings on both stores, taken by us. As of 25 Sept 2026.
Installs and downloads per day, last 7 daysDay-over-day change in each store's counter.
Each bar is one day’s change in the store’s own counter.
Seven days here. Tracking adds every day since 5 Sept 2026, with release markers.Track this extension
Where Lean Scribe 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 |
|---|---|---|
| prompt | #566of 1,312↓2 7d | — |
| llm history | #639of 2,738↓6 7d | — |
VS Code Marketplace search ranking: measuring jitter and real movement →
Marketplace
- Installs
- 206+1.9% 7d
- Rating
- —unrated
- Rank in Other
- >1,000of 50,921
- Latest
- v0.0.919 Feb 2025
8 releases · first published Feb 2025
What the publisher says
Lean Scribe’s own readme, changelog and license, as published to the VS Code Marketplace.