by meituan-longcat · Agent Tool · ★ 81
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.
| Stars | 81 |
| Forks | 7 |
| Language | Python |
| Category | Agent Tool |
| License | MIT |
| Quality Score | 31.75/100 |
| Open Issues | 1 |
| Last Updated | 2026-05-09 |
| Created | 2026-03-20 |
| Platforms | python |
| Est. Tokens | ~476k |
Explore other popular agent tool tools:
LongCat-Flash-Prover is 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.. It is categorized as a Agent Tool with 81 GitHub stars.
LongCat-Flash-Prover is primarily written in Python.
You can find installation instructions and usage details in the LongCat-Flash-Prover GitHub repository at github.com/meituan-longcat/LongCat-Flash-Prover. The project has 81 stars and 7 forks, indicating an active community.
LongCat-Flash-Prover is released under the MIT license, making it free to use and modify according to the license terms.