Dart AI vs ProofFlow Maintainer
Dart AI is an MCP server published by its-dart. Marketplaces we read that list it: 1 (Docker MCP Catalog). ProofFlow Maintainer is a plugin bundle for AI coding tools published by Hyperion-GPU. Marketplaces we read that list it: 1 (Community GitHub marketplaces). As of our marketplace pass on 2026-10-18. 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 |  Dart AI | |
|---|---|---|
| Docker MCP Catalog | Listed Version: sha256:fe45ca6be893 Forks (GitHub): 27 Pulls (Docker Hub): 17 251 Stars (Docker Hub): 3 Stars (GitHub): 128 Not marked · First seen |
Not listed |
| Community marketplace hyperion-gpu/proofflow-v0.1 | Not listed | Listed Version: 0.1.0 Forks (GitHub): 1 Stars (GitHub): 7 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 | Dart AI | ProofFlow Maintainer |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 128 (better) | 7 (worse) |
| Pulls (Docker Hub) (differs) | 17 251 | No figure on Docker Hub |
| Forks (GitHub) (differs) | 27 (better) | 1 (worse) |
| Last release | Not published | Not published |
| Where it runs (differs) | On your machine (mcp/dart) | Installs as a plugin bundle |
| Transport (differs) | stdio | Not stated |
| Tools it declares (differs) | 16 | Not published |
| Environment variables it asks for (differs) | 2, secrets among them: 1 | 1, secrets among them: 0 |
| Parts of the bundle (differs) | Not a bundle | 2 |
| Licence | MIT | MIT |
| Repository (differs) | github.com/its-dart/dart-mcp-server | github.com/hyperion-gpu/proofflow-v0.1 |
| Changes in the last 7 days (differs) | 0 | 2 |
| First seen (differs) | 2026-10-11 | 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
Dart AI
Dart AI Model Context Protocol (MCP) server.
ProofFlow Maintainer
Codex plugin for Agent Work Ledger and ProofFlow maintainer evidence workflows.
How to run each
Dart AI As a local MCP server: Docker image
claude mcp add --env "DART_TOKEN=<YOUR_DART_TOKEN>" --transport stdio dart -- docker run -i --rm -e DART_TOKEN mcp/dartRequires: DART_TOKEN (secret)
ProofFlow Maintainer As a Codex plugin
codex plugin marketplace add hyperion-gpu/proofflow-v0.1Commands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
The marketplaces of ProofFlow Maintainer publish no list of tools, so we do not compare tools.
Settings each asks for
Only Dart AI asks for
DART_HOSTDART_TOKEN (secret)
Only ProofFlow Maintainer asks for
PROOFFLOW_BASE_URL
Settings as each marketplace publishes them. Asking for fewer is not better in itself.
What it can do: Dart AI · What it can do: ProofFlow Maintainer · Compare two other plugins
Data comes from the Docker MCP Catalog (desktop.docker.com/mcp/catalog) and Docker Hub. Data comes from public marketplace files in GitHub repositories of their authors. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.