Sequential Thinking (Reference) vs Execute coq-proof-assistant-mcp
Sequential Thinking (Reference) is an MCP server published by modelcontextprotocol. Marketplaces we read that list it: 1 (Docker MCP Catalog). Execute coq-proof-assistant-mcp is an MCP server published by Evozim. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-15. 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 |  Sequential Thinking (Reference) | |
|---|---|---|
| Docker MCP Catalog | Listed Version: sha256:cd3174b2ecf3 Forks (GitHub): 11 790 Pulls (Docker Hub): 422 092 Stars (Docker Hub): 30 Stars (GitHub): 91 268 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 2.0.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 | Sequential Thinking (Reference) | Execute coq-proof-assistant-mcp |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 91 268 | No figure on GitHub |
| Pulls (Docker Hub) (differs) | 422 092 | No figure on Docker Hub |
| Forks (GitHub) (differs) | 11 790 | No figure on GitHub |
| Last release | Not published | Not published |
| Where it runs (differs) | On your machine (mcp/sequentialthinking) | Remote server (api.m2mcent.com/coq-proof-assistant-mcp/sse) |
| Transport (differs) | stdio | SSE |
| Tools it declares (differs) | 1 | Not published |
| Environment variables it asks for | Not published | Not published |
| Licence (differs) | NOASSERTION | Not stated |
| Repository (differs) | github.com/modelcontextprotocol/servers | Not stated |
| 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 | Answered with HTTP 402 (6 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
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
How to run each
Sequential Thinking (Reference) As a local MCP server: Docker image
claude mcp add --transport stdio sequentialthinking -- docker run -i --rm mcp/sequentialthinkingExecute coq-proof-assistant-mcp As a remote MCP server
claude mcp add --transport sse coq-proof-assistant-mcp https://api.m2mcent.com/coq-proof-assistant-mcp/sse --header "Payment-Signature: <YOUR_PAYMENT_SIGNATURE>"Requires: Payment-Signature header
Commands built only from what the marketplaces declare; the full set for every client is on each card.
Only Execute coq-proof-assistant-mcp has a remote endpoint we check. How we check endpoints
Tools each declares
The marketplaces of Execute coq-proof-assistant-mcp 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: Sequential Thinking (Reference) · What it can do: Execute coq-proof-assistant-mcp · 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.