Is the LongCat-Flash-Prover MCP server actively maintained?

The LongCat-Flash-Prover MCP server was last committed today and has 2 contributors. Issue health: 50% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

LongCat-Flash-Prover MCP Server

Name: meituan-longcat/LongCat-Flash-Prover
Rating: 3.4 (1 reviews)
Author: meituan-longcat

meituan-longcat/LongCat-Flash-Prover

Score: 60.0 Rank #2 AI Tool

Are you the maintainer of meituan-longcat/LongCat-Flash-Prover? Claim this listing →

A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 through agentic tool-integrated reasoning.

Add AgentRank to Claude Code Discover and compare tools like meituan-longcat/LongCat-Flash-Prover — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

meituan-longcat/LongCat-Flash-Prover is a agent tool licensed under MIT. A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 through agentic tool-integrated reasoning.

Ranked #2 out of 100 indexed tools.

In the top 2% of all indexed tools.

Actively maintained with commits in the last week.

Ecosystem

MIT

Score Breakdown

Stars 15% 19

19 stars → early stage

Freshness 25% today

Last commit today → actively maintained

Issue Health 25% 50%

No issues filed → no history to score

Contributors 10% 2

2 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 2

Description Good

License MIT

Weights: Freshness 25% · Issue Health 25% · Dependents 25% · Stars 15% · Contributors 10% · How we score →

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Dependents medium impact

No downstream dependents detected yet — adoption by other projects is the strongest trust signal

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/meituan-longcat--LongCat-Flash-Prover)](https://agentrank-ai.com/tool/meituan-longcat--LongCat-Flash-Prover/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/meituan-longcat--LongCat-Flash-Prover/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/meituan-longcat--LongCat-Flash-Prover" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="meituan-longcat/LongCat-Flash-Prover"></script>

Details

Stars: 19
Forks: 2
Open Issues: 0
Closed Issues: 0
Contributors: 2
Dependents: —
Language: —
License: MIT
Last Commit: today

Matched Queries

"agent tool"

From the README

# LongCat-Flash-Prover

<div align="center">
  
</div>
<hr>

<div align="center" style="line-height: 1;">
  <a href="https://longcat.ai/" target="_blank" style="margin: 2px;">
    
  </a>
  <a href="https://huggingface.co/meituan-longcat" target="_blank" style="margin: 2px;">
    
  </a>
  <a href="https://www.modelscope.cn/models/meituan-longcat/LongCat-Flash-Prover" target="_blank" style="margin: 2px;">
    
  </a>
</div>

<div align="center" style="line-height: 1;">
  <a href="https://github.com/meituan-longcat/LongCat-Flash-Prover/blob/main/figures/wechat_official_accounts.png" target="_blank" style="margin: 2px;">
    
  </a>
  <a href="https://x.com/Meituan_LongCat" target="_blank" style="margin: 2px;">
    
  </a>
</div>

<div align="center" style="line-height: 1;">
  <a href="https://huggingface.co/meituan-longcat/LongCat-Flash-Prover/blob/main/LICENSE" style="margin: 2px;">
    
  </a>
</div>
<p align="center">
  <a href="https://github.com/meituan-longcat/LongCat-Flash-Prover

Read full README on GitHub →