Effect vs sui-prover
Effect is an MCP server published by tim-smart. Marketplaces we read that list it: 1 (Docker MCP Catalog). sui-prover is a plugin bundle for AI coding tools published by Asymptotic. Marketplaces we read that list it: 1 (Community GitHub marketplaces). 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 |   Effect | |
|---|---|---|
| Docker MCP Catalog | Listed Version: sha256:a0e077abc890 Forks (GitHub): 13 Pulls (Docker Hub): 12 873 Stars (Docker Hub): 0 Stars (GitHub): 239 Not marked · First seen |
Not listed |
| Community marketplace asymptotic-code/sui-prover | Not listed | Listed Version: 0.1.0 Forks (GitHub): 13 Stars (GitHub): 43 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 | Effect | sui-prover |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 239 (better) | 43 (worse) |
| Pulls (Docker Hub) (differs) | 12 873 | No figure on Docker Hub |
| Forks (GitHub) | 13 | 13 |
| Last release | Not published | Not published |
| Where it runs (differs) | On your machine (mcp/effect-mcp) | Installs as a plugin bundle |
| Transport (differs) | stdio | Not stated |
| Tools it declares (differs) | 2 | Not published |
| Environment variables it asks for | Not published | Not published |
| Parts of the bundle (differs) | Not a bundle | 1 |
| Licence (differs) | MIT | Not stated |
| Repository (differs) | github.com/tim-smart/effect-mcp | github.com/asymptotic-code/sui-prover |
| Changes in the last 7 days (differs) | 0 | 2 |
| First seen (differs) | 2026-10-11 | 2026-10-15 |
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
Effect
Tools and resources for writing Effect code in Typescript.
sui-prover
Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
How to run each
Effect As a local MCP server: Docker image
claude mcp add --transport stdio effect-mcp -- docker run -i --rm mcp/effect-mcpsui-prover As a Claude Code plugin
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-proverCommands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
The marketplaces of sui-prover 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: Effect · What it can do: sui-prover · 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.