Is the dafny-sketcher MCP server actively maintained?

The dafny-sketcher MCP server was last committed 3mo ago and has 5 contributors. Issue health: 65% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

dafny-sketcher MCP Server

Name: namin/dafny-sketcher
Rating: 3.0 (1 reviews)
Author: namin

namin/dafny-sketcher

Score: 50.7 Rank #17546 MCP Server

[![AgentRank](https://agentrank-ai.com/api/v1/badge/namin--dafny-sketcher)](https://agentrank-ai.com/tool/namin--dafny-sketcher/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

Are you the maintainer of namin/dafny-sketcher? Claim this listing →

piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning

Add AgentRank to Claude Code Discover and compare tools like namin/dafny-sketcher — your AI finds the right one automatically

Get API Access →

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

Overview

namin/dafny-sketcher is a Dafny tool licensed under MIT. piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning

Ranked #17546 out of 24846 indexed tools.

Ecosystem

Dafny MIT

Score Breakdown

Stars 15% 18

18 stars → early stage

Freshness 25% 3mo ago

Last commit 3mo ago → stale

Issue Health 25% 65%

13/20 issues closed → decent issue management

Contributors 10% 5

5 contributors → small team

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 6

Description Detailed

License MIT

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

How to Improve

Freshness high impact

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

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/v1/badge/namin--dafny-sketcher)](https://agentrank-ai.com/tool/namin--dafny-sketcher/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

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

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="namin/dafny-sketcher"></script>

Details

Stars: 18
Forks: 6
Open Issues: 7
Closed Issues: 13
Contributors: 5
Dependents: —
Language: Dafny
License: MIT
Last Commit: 3mo ago

Matched Queries

topic:mcp

See alternatives to namin/dafny-sketcher → Browse mcp-server category → Best MCP Server MCP servers → Compare namin/dafny-sketcher → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →