LE
augustepoiroux/LeanInteract
LeanInteract: A Python Interface for Lean 4
118 11 +0/wk
GitHub
autoformalization lean4 machine-learning python theorem-proving
Trend
3
Star & Fork Trend (39 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
augustepoiroux/LeanInteract has +0 stars this period . 7-day velocity: 2.6%.
Deep analysis is being generated for this repository.
Signal-backed technical analysis will be available soon.
| Metric | LeanInteract | trex | nagato-ai | xint |
|---|---|---|---|---|
| Stars | 118 | 118 | 118 | 118 |
| Forks | 11 | 12 | 10 | 5 |
| Weekly Growth | +0 | +0 | +0 | +2 |
| Language | Python | C++ | Python | TypeScript |
| Sources | 1 | 1 | 1 | 1 |
| License | MIT | GPL-3.0 | MIT | MIT |
Capability Radar vs trex
LeanInteract
trex
Maintenance Activity 99
Last code push 9 days ago.
Community Engagement 47
Fork-to-star ratio: 9.3%. Lower fork ratio may indicate passive usage.
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.
Track 10,000+ repos like this one
AISignal Weekly — top breakouts + research, every Friday. Free.
Free weekly AI intelligence digest