Google PageRank for AI agents. 25,000+ tools indexed.

mcp-server-quint MCP Server

dpdanpittman/mcp-server-quint

Score: 45.3 Rank #5918 MCP Server
Are you the maintainer of dpdanpittman/mcp-server-quint? Claim this listing →

MCP server for the Quint formal specification language — typecheck, simulate, test, verify, and parse Quint specs via any MCP client

Add AgentRank to Claude Code Discover and compare tools like dpdanpittman/mcp-server-quint — your AI finds the right one automatically
Get API Access →
claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

dpdanpittman/mcp-server-quint is a JavaScript MCP server. MCP server for the Quint formal specification language — typecheck, simulate, test, verify, and parse Quint specs via any MCP client

Ranked #5918 out of 27488 indexed tools.

Ecosystem

JavaScript NOASSERTION

Score Breakdown

StarsFreshnessIssue HealthContributorsDependents
Stars 15% 2

2 stars → early stage

Freshness 25% 21d ago

Last commit 21d ago → recently updated

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 0
Description Good
License NOASSERTION

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

License low impact

Add an MIT or Apache-2.0 license to signal trust and enable adoption

Contributors medium impact

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

Badge all embed codes →

AgentRank score for dpdanpittman/mcp-server-quint
[![AgentRank](https://agentrank-ai.com/api/badge/tool/dpdanpittman--mcp-server-quint)](https://agentrank-ai.com/tool/dpdanpittman--mcp-server-quint/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)
<a href="https://agentrank-ai.com/tool/dpdanpittman--mcp-server-quint/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/dpdanpittman--mcp-server-quint" alt="AgentRank"></a>

Embed Widget docs →

Embed a rich score widget on your site or blog.

<script src="https://agentrank-ai.com/embed.js" data-tool="dpdanpittman/mcp-server-quint"></script>

Matched Queries

"mcp server""mcp-server"

Get the weekly AgentRank digest

Top movers, new tools, ecosystem insights — straight to your inbox.