Terraform vs io.github.mrfentmen/dafny-mcp
Terraform is an MCP server published by hashicorp. Marketplaces we read that list it: 3 (Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog). io.github.mrfentmen/dafny-mcp is an MCP server published by mrfentmen. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-11-09. This pair was picked by a reader, not by our comparison rule, so search engines are asked not to index the page.
Where each is published
| Marketplace |  Terraform |  io.github.mrfentmen/dafny-mcp |
|---|---|---|
| Official MCP Registry | Listed Version: 1.4.1 Forks (GitHub): 203 Stars (GitHub): 1 557 Not marked · First seen |
Listed Version: 1.0.0 Forks (GitHub): 0 Stars (GitHub): 0 Not marked · First seen |
| Claude Code: claude-plugins-official | Listed Version: not stated Forks (GitHub): 4 835 Stars (GitHub): 46 418 Not marked · First seen |
Not listed |
| Docker MCP Catalog | Listed Version: sha256:11dd418bba60 Forks (GitHub): 203 Stars (GitHub): 1 557 Not marked · First seen |
Not listed |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | Terraform | io.github.mrfentmen/dafny-mcp |
|---|---|---|
| Marketplaces that list it (differs) | 3 (better) | 1 (worse) |
| Stars (GitHub) (differs) | 46 418 (better) | 0 (worse) |
| Forks (GitHub) (differs) | 4 835 (better) | 0 (worse) |
| Last release (differs) | 2026-10-24 | Not published |
| Where it runs (differs) | On your machine (docker.io/hashicorp/terraform-mcp-server:1.4.1) | On your machine (@mrfentmen/dafny-mcp) |
| Transport | stdio | stdio |
| Tools it declares (differs) | 9 | Not published |
| Environment variables it asks for | Not published | Not published |
| Parts of the bundle (differs) | 1 | Not a bundle |
| Licence (differs) | MPL-2.0 | Not stated |
| Repository (differs) | github.com/hashicorp/terraform-mcp-server | github.com/mrfentmen/awesome-servers |
| Changes in the last 7 days (differs) | 0 | 2 |
| First seen (differs) | 2026-10-11 | 2026-11-08 |
Lines where the two differ have a tinted background and bold values. Where the data itself says which value is better (more marketplaces, a larger figure of the same marketplace, a fresher release, a verified mark on a marketplace that lists both), the better one is also marked green with ▲ and the worse one red with ▼. Where it runs, the transport, the tools, the settings, hooks, the bundle's parts, the licence and the week's changes are marked only as different: more or fewer is not better in itself.
What each says it does
Terraform
Generate more accurate Terraform and automate workflows for HCP Terraform and Terraform Enterprise
io.github.mrfentmen/dafny-mcp
Dafny MCP: 20 real tools to read, check, lint, scaffold, build and run Dafny code.
How to run each
Terraform As a local MCP server: Docker image
claude mcp add --transport stdio terraform-mcp-server -- docker run -i --rm -e "TFE_ADDRESS=<YOUR_ADDRESS>" -e "TFE_TOKEN=<YOUR_TOKEN>" -e "ENABLE_TF_OPERATIONS=<YOUR_ENABLED>" docker.io/hashicorp/terraform-mcp-server:1.4.1io.github.mrfentmen/dafny-mcp As a local MCP server: npm package
claude mcp add --transport stdio dafny-mcp -- npx -y @mrfentmen/dafny-mcpCommands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
The marketplaces of io.github.mrfentmen/dafny-mcp publish no list of tools, so we do not compare tools.
Settings each asks for
Neither one's marketplaces publish the settings it asks for.
What it can do: Terraform · What it can do: io.github.mrfentmen/dafny-mcp · Compare two other plugins
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Data comes from the public marketplace file https://github.com/anthropics/claude-plugins-official/blob/HEAD/.claude-plugin/marketplace.json. Data comes from the Docker MCP Catalog (desktop.docker.com/mcp/catalog) and Docker Hub. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.