LE
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
789 117 +0/wk
GitHub
lean lean4 llm machine-learning theorem-proving
Trend
3
Star & Fork Trend (18 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
lean-dojo/LeanDojo has +0 stars this period . 7-day velocity: 0.1%.
Deep analysis is being generated for this repository.
Signal-backed technical analysis will be available soon.
| Metric | LeanDojo | avoid-ai-writing | connectonion | Texo |
|---|---|---|---|---|
| Stars | 789 | 789 | 788 | 788 |
| Forks | 117 | 86 | 106 | 45 |
| Weekly Growth | +0 | +79 | +8 | +1 |
| Language | Python | N/A | Python | Python |
| Sources | 1 | 1 | 1 | 1 |
| License | MIT | MIT | Apache-2.0 | AGPL-3.0 |
Capability Radar vs avoid-ai-writing
LeanDojo
avoid-ai-writing
Maintenance Activity 58
Last code push 80 days ago.
Community Engagement 74
Fork-to-star ratio: 14.8%. Active community forking and contributing.
Issue Burden 70
Issue data not yet available.
Growth Momentum 30
No measurable growth in the current period (first-day cold start expected).
License Clarity 95
Licensed under MIT. Permissive — safe for commercial use.
Risk scores are computed from real-time repository data. Higher scores indicate healthier metrics.