AWS CDK vs Provision Stack
AWS CDK is an MCP server published by awslabs. Marketplaces we read that list it: 1 (Docker MCP Catalog). Provision Stack is an MCP server published by provision-stack.com. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-30. 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 |  AWS CDK | |
|---|---|---|
| Docker MCP Catalog | Listed Version: sha256:6973319affc4 Forks (GitHub): 1 835 Pulls (Docker Hub): 50 094 Stars (Docker Hub): 0 Stars (GitHub): 9 848 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 0.5.0 No figure published Not marked · First seen |
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 | AWS CDK | Provision Stack |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 9 848 | No figure on GitHub |
| Pulls (Docker Hub) (differs) | 50 094 | No figure on Docker Hub |
| Forks (GitHub) (differs) | 1 835 | No figure on GitHub |
| Last release | Not published | Not published |
| Where it runs (differs) | On your machine (mcp/aws-cdk-mcp-server) | Remote server (api.provision-stack.com/mcp) |
| Transport (differs) | stdio | Streamable HTTP |
| Tools it declares (differs) | 7 | Not published |
| Environment variables it asks for | Not published | Not published |
| Licence (differs) | Apache-2.0 | Not stated |
| Repository (differs) | github.com/awslabs/mcp | github.com/travislinkey/provision-stack |
| Changes in the last 7 days | 0 | 0 |
| First seen | 2026-10-11 | 2026-10-11 |
| Endpoint at the last check (differs) | no remote endpoint we check | Not responding since 2026-10-13 |
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
AWS CDK
AWS Cloud Development Kit (CDK) best practices, infrastructure as code patterns, and security compliance with CDK Nag.
Provision Stack
Outcome-based infrastructure for agents — verified AWS deployments, metered billing
How to run each
AWS CDK As a local MCP server: Docker image
claude mcp add --transport stdio aws-cdk-mcp-server -- docker run -i --rm mcp/aws-cdk-mcp-serverProvision Stack As a remote MCP server
claude mcp add --transport http provision-stack https://api.provision-stack.com/mcp --header "Authorization: Bearer <YOUR_TOKEN>"Requires: Authorization header
Commands built only from what the marketplaces declare; the full set for every client is on each card.
Only Provision Stack has a remote endpoint we check. How we check endpoints
Tools each declares
The marketplaces of Provision Stack 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: AWS CDK · What it can do: Provision Stack · Compare two other plugins
Data comes from the Docker MCP Catalog (desktop.docker.com/mcp/catalog) and Docker Hub. Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.