scidonia/mcp-coq-lsp

Score: 25.9 Rank #8413

MCP server for Coq LSP

Overview

scidonia/mcp-coq-lsp is a JavaScript MCP server licensed under Apache-2.0. MCP server for Coq LSP

Ranked #8413 out of 25632 indexed tools.

Ecosystem

JavaScript Apache-2.0

Signal Breakdown

Stars 3

Freshness 2mo ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 0

Description Brief

License Apache-2.0

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Freshness high impact

Last commit was 62 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

AgentRank score for scidonia/mcp-coq-lsp

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/scidonia--mcp-coq-lsp)](https://agentrank-ai.com/tool/scidonia--mcp-coq-lsp)

HTML

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

Details

Stars: 3
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: JavaScript
License: Apache-2.0
Last Commit: 2mo ago

Matched Queries

"mcp server""mcp-server"

View on GitHub →

Are you the maintainer? Claim this listing