LLM4Rocq/rocq-mcp

Score: 30.4 Rank #6307

MCP server for the Rocq prover

LLM4Rocq/rocq-mcp is a Python MCP server licensed under Apache-2.0. MCP server for the Rocq prover

Ranked #6307 out of 25632 indexed tools.

Actively maintained with commits in the last week.

Python Apache-2.0

Stars 15

Freshness 3d ago

Issue Health 0%

Contributors 0

Dependents 0

Forks 6

Description Brief

License Apache-2.0

Description low impact

Expand your description to 150+ characters for better discoverability

Issue Health high impact

You have 7 open vs 0 closed issues — triaging stale issues improves health

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/LLM4Rocq--rocq-mcp)](https://agentrank-ai.com/tool/LLM4Rocq--rocq-mcp)

HTML

<a href="https://agentrank-ai.com/tool/LLM4Rocq--rocq-mcp"><img src="https://agentrank-ai.com/api/badge/tool/LLM4Rocq--rocq-mcp" alt="AgentRank"></a>

"mcp server""mcp-server"

Are you the maintainer? Claim this listing