Astro Docs vs AppLedger
Astro Docs is an MCP server published by docker. Marketplaces we read that list it: 1 (Docker MCP Catalog). AppLedger is an MCP server published by appledger.net. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-21. 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 |  Astro Docs |   AppLedger |
|---|---|---|
| Docker MCP Catalog | Listed Version: not stated Forks (GitHub): 12 Stars (GitHub): 67 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 0.2.5 Forks (GitHub): 0 Stars (GitHub): 0 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 | Astro Docs | AppLedger |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 67 (better) | 0 (worse) |
| Forks (GitHub) (differs) | 12 (better) | 0 (worse) |
| Last release (differs) | Not published | 2026-10-14 |
| Where it runs (differs) | Remote server (mcp.docs.astro.build/mcp) | On your machine (appledger) |
| Transport (differs) | Streamable HTTP | stdio |
| Tools it declares (differs) | 1 | Not published |
| Environment variables it asks for (differs) | Not published | 2, secrets among them: 1 |
| Licence (differs) | Apache-2.0 | Not stated |
| Repository (differs) | github.com/withastro/docs-mcp | github.com/contentasoftware/appledger |
| Changes in the last 7 days (differs) | 0 | 3 |
| First seen (differs) | 2026-10-11 | 2026-10-12 |
| Endpoint at the last check (differs) | Responded 34 h ago | no remote endpoint we check |
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
Astro Docs
Access the latest Astro web framework documentation, guides, and API references.
AppLedger
Plain-English security checks for AI-built apps (Trivy + Opengrep), with fix requests for agents
How to run each
Astro Docs As a remote MCP server
claude mcp add --transport http astro-docs https://mcp.docs.astro.build/mcpAppLedger As a local MCP server: PyPI package
claude mcp add --env "APPLEDGER_KEY=<YOUR_APPLEDGER_KEY>" --transport stdio appledger -- uvx appledger mcpRequires: APPLEDGER_KEY (secret)
Commands built only from what the marketplaces declare; the full set for every client is on each card.
Only Astro Docs has a remote endpoint we check. How we check endpoints
Tools each declares
The marketplaces of AppLedger publish no list of tools, so we do not compare tools.
Settings each asks for
The marketplaces of Astro Docs publish no settings it asks for, so we do not compare settings.
What it can do: Astro Docs · What it can do: AppLedger · 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.