meituan-longcat/
A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 for Mathematics Formalization and Proving through agentic tool-integrated reasoning.
by LongCat Python MIT licence 14 forks Created Mar 2026 View on GitHub
- Stars
- 96
- 1% of meituan-longcat's stars
- Rank
- #502,144
- of 851,984 repos, top 59%
- In Python
- #100,444
- of 173,300 repos, top 58%
Among 851,984 repos
63–100 stars: 217,630 repos, including LongCat-Flash-Prover
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #498,092
- Next milestone
- +23 stars to reach the top 50%