Claim listing
meituan-longcat/LongCat-Flash-Prover
A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 through agentic tool-integrated reasoning.
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.