What is the rocq-piler MCP server?

scidonia/rocq-piler — MCP server for Coq LSP AgentRank score: 38.2/100.

Is the rocq-piler MCP server actively maintained?

The rocq-piler MCP server was last committed 1mo ago and has 0 contributors. Issue health: 50% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

rocq-piler MCP Server

Name: scidonia/rocq-piler
Rating: 2.5 (1 reviews)
Author: scidonia

scidonia/rocq-piler

Score: 38.2 Rank #14879 MCP Server

Are you the maintainer of scidonia/rocq-piler? Claim this listing →

MCP server for Coq LSP

Add AgentRank to Claude Code Discover and compare tools like scidonia/rocq-piler — your AI finds the right one automatically

Get API Access →

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

Overview

scidonia/rocq-piler is a Rocq Prover MCP server licensed under Apache-2.0. MCP server for Coq LSP

Ranked #14879 out of 24850 indexed tools.

Ecosystem

Rocq Prover Apache-2.0

Score Breakdown

Stars 15% 8

8 stars → early stage

Freshness 25% 1mo ago

Last commit 1mo ago → moderate activity

Issue Health 25% 50%

No issues filed → no history to score

Contributors 10% 0

0 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 2

Description Brief

License Apache-2.0

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Freshness high impact

Last commit was 50 days ago — a recent commit would boost your freshness score

Contributors medium impact

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

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/scidonia--rocq-piler)](https://agentrank-ai.com/tool/scidonia--rocq-piler/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/scidonia--rocq-piler/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/scidonia--rocq-piler" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="scidonia/rocq-piler"></script>

Details

Stars: 8
Forks: 2
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Rocq Prover
License: Apache-2.0
Last Commit: 1mo ago

Matched Queries

"mcp server""mcp-server"

See alternatives to scidonia/rocq-piler → Browse mcp-server category → Compare scidonia/rocq-piler → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →