Ext Ops Panel
Open dashboard
Comparison

com.thenextgennexus/developer-tools-mcp-server vs io.github.cyanheads/oeis-mcp-server

com.thenextgennexus/developer-tools-mcp-server is an MCP server published by thenextgennexus.com. Marketplaces we read that list it: 1 (Official MCP Registry). io.github.cyanheads/oeis-mcp-server is an MCP server published by cyanheads. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-11-11. 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
Marketplacecom.thenextgennexus/developer-tools-mcp-serverio.github.cyanheads/oeis-mcp-server
Official MCP Registry Listed
Version: 1.0.1
No figure published
Not marked · First seen
Listed
Version: 0.2.0
Downloads/month (npm): 546
Downloads/week (npm): 84
Forks (GitHub): 0
Stars (GitHub): 1
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

com.thenextgennexus/developer-tools-mcp-server vs io.github.cyanheads/oeis-mcp-server
Factcom.thenextgennexus/developer-tools-mcp-serverio.github.cyanheads/oeis-mcp-server
Marketplaces that list it11
Stars (GitHub) (differs)No figure on GitHub1
Forks (GitHub) (differs)No figure on GitHub0
Last release (differs)2026-11-08 (worse)2026-11-11 (better)
Where it runs (differs)Remote server (nexgendata-mcp-proxy.steve-corbeil.workers.dev/developer-tools-mcp-server/mcp)Remote server (oeis.caseyjhand.com/mcp)
TransportStreamable HTTPStreamable HTTP
Tools it declaresNot publishedNot published
Environment variables it asks for (differs)Not published7, secrets among them: 0
LicenceNot statedNot stated
Repository (differs)Not statedgithub.com/cyanheads/oeis-mcp-server
Changes in the last 7 days (differs)21
First seen2026-10-112026-10-11
Endpoint at the last check (differs)Responded 12 h agoNo HTTP response at the last check (25 h ago)

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

com.thenextgennexus/developer-tools-mcp-server

In its own words, on Official MCP Registry:

GitHub, npm, PyPI, Stack Overflow, arXiv and OpenAlex paper search as agent tools.

io.github.cyanheads/oeis-mcp-server

In its own words, on Official MCP Registry:

Identify integer sequences by terms, search the OEIS, read formulas, programs, b-files, cross-refs.

How to run each

com.thenextgennexus/developer-tools-mcp-server As a remote MCP server

Claude Code
claude mcp add --transport http developer-tools-mcp-server https://nexgendata-mcp-proxy.steve-corbeil.workers.dev/developer-tools-mcp-server/mcp --header "Authorization: Bearer <YOUR_TOKEN>"

Requires: Authorization header

io.github.cyanheads/oeis-mcp-server As a remote MCP server

Claude Code
claude mcp add --transport http oeis-mcp-server https://oeis.caseyjhand.com/mcp

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

Only the endpoint of com.thenextgennexus/developer-tools-mcp-server responded at the last daily check. How we check endpoints

Tools each declares

Neither the marketplaces of com.thenextgennexus/developer-tools-mcp-server nor its endpoint list any tools, so we do not compare tools.

Settings each asks for

The marketplaces of com.thenextgennexus/developer-tools-mcp-server publish no settings it asks for, so we do not compare settings.

What it can do: com.thenextgennexus/developer-tools-mcp-server · What it can do: io.github.cyanheads/oeis-mcp-server · Compare two other plugins

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.

Where the data comes from: how the catalog is built