Ext Ops Panel
Open dashboard
Comparison

developers vs io.github.dravensoft-dev/arena

developers is an MCP server published by doc2mcp. Marketplaces we read that list it: 1 (Official MCP Registry). io.github.dravensoft-dev/arena is an MCP server published by dravensoft-dev. Marketplaces we read that list it: 2 (Official MCP Registry, Community GitHub marketplaces). As of our marketplace pass on 2026-10-13. 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

Where each is published
Marketplacedevelopersio.github.dravensoft-dev/arena
Official MCP Registry Listed
Version: 1.0.1788760789
Forks (GitHub): 0
Stars (GitHub): 2
Not marked · First seen
Listed
Version: 12.1.1
Downloads/month (npm): 801
Downloads/week (npm): 489
Forks (GitHub): 0
Stars (GitHub): 2
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

developers vs io.github.dravensoft-dev/arena
Factdevelopersio.github.dravensoft-dev/arena
Marketplaces that list it (differs)1 (worse)2 (better)
Stars (GitHub)22
Forks (GitHub)00
Last release (differs)Not published2026-10-12
Where it runs (differs)Remote server (www.doc2mcp.site/api/mcp/f335b6a5-ec4b-4b0f-9f19-ef5af221aed2/mcp)On your machine (@dravensoft/arena-mcp)
Transport (differs)Streamable HTTPstdio
Tools it declaresNot publishedNot published
Environment variables it asks forNot publishedNot published
Parts of the bundle (differs)Not a bundle1
Licence (differs)Not statedMIT
Repository (differs)github.com/doc2mcp/doc2mcp-registrygithub.com/dravensoft-dev/arena
Changes in the last 7 days (differs)03
First seen2026-10-112026-10-11
Endpoint at the last check (differs)not checked yetno 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

developers

In its own words, on Official MCP Registry:

MCP server for developers documentation, generated by doc2mcp.

io.github.dravensoft-dev/arena

In its own words, on Official MCP Registry:

Arena by Dravensoft over MCP: the router, the references and every component document.

How to run each

developers As a remote MCP server

Claude Code
claude mcp add --transport http developers https://www.doc2mcp.site/api/mcp/f335b6a5-ec4b-4b0f-9f19-ef5af221aed2/mcp --header "Authorization: Bearer <YOUR_TOKEN>"

Requires: Authorization header

io.github.dravensoft-dev/arena As a local MCP server: npm package

Claude Code
claude mcp add --transport stdio arena -- npx -y @dravensoft/arena-mcp

Commands built only from what the marketplaces declare; the full set for every client is on each card.

Tools each declares

Neither one's marketplaces publish a list of tools, so there is nothing to compare.

Settings each asks for

Neither one's marketplaces publish the settings it asks for.

What it can do: developers · What it can do: io.github.dravensoft-dev/arena · Compare two other plugins

Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. 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.

Where the data comes from: how the catalog is built