Lean 4 vs TCL

Adoption and growth comparison · shareable link

Over the last 7 days, Lean 4 grew fastest (+1.3%).

Lean 4 vs TCL: installs compared over last 90 days.

Comparison of Lean 4, TCL
Plugin	Metric	Current	7d	30d	Daily rate (30d)	Rank	Rating	Ratings / day	Updated
Lean 4VS Code Marketplace	Installs	198,137	+1.3%	—	—	#1529	4.6	—	Fresh · Oct 27, 2026
TCLVS Code Marketplace	Installs	204,097	+0.2%	—	—	#1491	2.3	—	Fresh · Oct 27, 2026