pl-lean
Details
- External ID
- 1395121254
- Source
- GITHUB
- Company
- —
- Product
- pl-lean
- Website domain
- github.com
- Launched
- Sept. 29, 2026
- Cohort
- —
- Upvotes
- 9
- Upvotes percentile
- 0.21822956699974377
- Tags
- —
- Fetched at
- Oct. 1, 2026, 1:02 a.m.
- Updated at
- Oct. 1, 2026, 1:02 a.m.
Enrichment
- Theme
- Model Context Protocol developer tools
- Vertical
- —
- Function
- —
- Audience
- —
- AI stance
- —
- Project type
- —
- Normalized one-liner
- —
- Manually corrected
- False
Competitors
Other products that read as similar to this one — 13 launches clear the similarity bar, closest 8 shown.
Attention rank: #10 of 14 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 161 days after the earliest competitor.
- ConZF · github · 2026-09-18 · 17 upvotes · similarity 0.44
- tmux-lean · github · 2026-09-21 · 9 upvotes · similarity 0.41
- metalean · github · 2026-09-18 · 11 upvotes · similarity 0.38
- spivak-lean · github · 2026-09-26 · 42 upvotes · similarity 0.37
- antigravity-lean-teamwork · github · 2026-09-11 · 9 upvotes · similarity 0.35
- Verified Deep Learning with Lean 4 · hn · 2026-04-21 · 6 upvotes · similarity 0.34
- Spivak's Calculus formalized in Lean 4 · hn · 2026-09-26 · 22 upvotes · similarity 0.33
- subJob · github · 2026-09-14 · 6 upvotes · similarity 0.33
Other launches for this product
- No other launches for this product.