io.github.mrfentmen/dafny-mcp
Dafny MCP: 20 real tools to read, check, lint, scaffold, build and run Dafny code.
Servidor MCP · de mrfentmen
Resumo
io.github.mrfentmen/dafny-mcp é um servidor MCP publicado por mrfentmen. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-11-08 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-11-08.
O que pede
- Roda na sua máquina
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP local: pacote npm
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio dafny-mcp -- npx -y @mrfentmen/dafny-mcp[mcp_servers.dafny-mcp]
command = "npx"
args = ["-y", "@mrfentmen/dafny-mcp"]{
"mcpServers": {
"dafny-mcp": {
"command": "npx",
"args": [
"-y",
"@mrfentmen/dafny-mcp"
]
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 1.0.0 | Forks (GitHub): 0 Estrelas (GitHub): 0 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
- Passou a ser um produto que acompanhamos
- Official MCP Registry: apareceu
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
d-mcp io.github.mrfentmen/d-mcp
D MCP: 20 real tools to read, check, lint, scaffold, build and run D code.
-
dylan-mcp io.github.mrfentmen/dylan-mcp
Dylan MCP: 20 real tools to read, check, lint, scaffold, build and run Dylan code.
-
dhall-mcp io.github.mrfentmen/dhall-mcp
Dhall MCP: 20 real tools to read, check, lint, scaffold, build and run Dhall code.
-
dm-mcp io.github.mrfentmen/dm-mcp
DM MCP: 20 real tools to read, check, lint, scaffold, build and run DM code.
-
daslang-mcp io.github.mrfentmen/daslang-mcp
Daslang MCP: 20 real tools to read, check, lint, scaffold, build and run Daslang code.
-
dune-mcp io.github.mrfentmen/dune-mcp
Dune MCP: 20 real tools to read, check, lint, scaffold, build and run Dune code.
-
whiley-mcp io.github.mrfentmen/whiley-mcp
Whiley MCP: 20 real tools to read, check, lint, scaffold, build and run Whiley code.
-
dart-mcp io.github.mrfentmen/dart-mcp
Dart MCP: 20 real tools to read, check, lint, scaffold, build and run Dart code.
-
m-mcp io.github.mrfentmen/m-mcp
M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.
-
boogie-mcp io.github.mrfentmen/boogie-mcp
Boogie MCP: 20 real tools to read, check, lint, scaffold, build and run Boogie code.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
-
memex io.github.STiFLeR7/memex
Temporal engineering context for agents via MCP.
-
nodebench io.github.HomenShum/nodebench
260 MCP tools across 49 domains. AI Flywheel, quality gates, research, web scraping.
-
Generate MCP server scaffold and tool implementation code from a natural language description. Describe what tools you want in plain language, choose TypeScript or Python, and get…
-
codescene-mcp-server com.codescene/codescene-mcp-server
An MCP server that provides CodeScene Code Health analysis tools.
Listado em Claude Code: claude-plugins-official (5)
-
Generate more accurate Terraform and automate workflows for HCP Terraform and Terraform Enterprise
-
Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
Semantic code analysis MCP server providing intelligent code understanding, refactoring suggestions, and codebase navigation through language server protocol integration.
Listado em Claude: knowledge-work-plugins (5)
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
-
MCP server for terminal commands, file operations, and process management
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
Listado em Codex: openai-curated (openai/plugins) (5)
-
Qodo setup, code intelligence, and review workflows.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
Listado em Community GitHub marketplaces (5)
-
mcp-builder
Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.
-
mcp-apps-builder
Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.
-
Make a coding agent prove it: run the repo's real tests, typecheck and lint before it says done.
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
-
Gives AI agents the function they asked for, not the file. Commercial use needs a license.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Build Model Context Protocol (MCP) servers in Java with the official MCP Java SDK 2.x. Includes a skill that generates a server project and an expert agent for guidance.
-
Build applications with the Microsoft Copilot SDK, transitioning from GitHub Copilot SDK, across multiple programming languages. Includes instructions for C#, Go…
Listado em Copilot CLI: github/copilot-plugins (5)
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Advanced Security plugin for GitHub Copilot.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Listado em Cursor: cursor/plugins (5)
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Internal team workflows for CI, code review, shipping, local automation, and verification.
-
Thermo-nuclear branch review: deep security/correctness audits, harsh code-quality rubrics, parallel subagents, thermos orchestration, and optional merge-ready PR flows.
Listado em Docker MCP Catalog (5)
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
-
npm-sentinel-mcp io.github.Nekzus/npm-sentinel-mcp
Advanced NPM analysis: Recursive security scanning, ecosystem awareness, and deep insights.
-
Git repository interaction and automation.
-
ast-grep is a fast and polyglot tool for code structural search, lint, rewriting at large scale.
-
Generate more accurate Terraform and automate workflows for HCP Terraform and Terraform Enterprise
Listado em Official MCP Registry (5)
-
d-mcp io.github.mrfentmen/d-mcp
D MCP: 20 real tools to read, check, lint, scaffold, build and run D code.
-
dylan-mcp io.github.mrfentmen/dylan-mcp
Dylan MCP: 20 real tools to read, check, lint, scaffold, build and run Dylan code.
-
dhall-mcp io.github.mrfentmen/dhall-mcp
Dhall MCP: 20 real tools to read, check, lint, scaffold, build and run Dhall code.
-
dm-mcp io.github.mrfentmen/dm-mcp
DM MCP: 20 real tools to read, check, lint, scaffold, build and run DM code.
-
daslang-mcp io.github.mrfentmen/daslang-mcp
Daslang MCP: 20 real tools to read, check, lint, scaffold, build and run Daslang code.
Listado em PyPI (MCP servers) (5)
-
Agent-First MCP Toolkit -- code search, editing, execution, and analysis tools for any MCP client.
-
codacy com.mcparmory/codacy
Analyze code quality, security issues, and coverage across repositories
-
mcp-server-analyzer io.github.Anselmoo/mcp-server-analyzer
MCP server for Python, JavaScript, and TypeScript code analysis with Ruff, ty, Vulture, and Biome
-
Gives AI agents the function they asked for, not the file. Commercial use needs a license.
-
Local repository intelligence for coding agents
Listado em npm registry (MCP servers) (5)
-
sverklo io.github.sverklo/sverklo
Local-first MCP code intelligence: 37 tools — hybrid search, blast-radius, diff review, memory.
-
75 semantic Java analysis tools via Eclipse JDT: navigation, refactoring, code intelligence.
-
codegraph io.github.codegraph-ai/codegraph
Semantic code graph: 42 tools, 38 languages. Callers, impact, AI context, memory, PR review.
-
Local-first code intelligence for AI coding agents: natural-language + lexical repository search, exact source/symbol navigation, relationships, freshness, and indexing.
-
rigour io.github.rigour-labs/rigour
Lets coding agents review their change, find an existing helper, and recall the team's lessons.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Quer esta marca no seu plugin em nosso catálogo?
Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação
Você também recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.