sui-prover vs. com.kenoodl/verify
sui-prover é um pacote de plugins para ferramentas de programação com IA publicado por Asymptotic. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). com.kenoodl/verify é um servidor MCP publicado por kenoodl.com. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-10-19. Este par foi escolhido por um leitor, não pela nossa regra de comparação, por isso pedimos aos buscadores que não indexem a página.
Onde cada um é publicado
| Marketplace |  com.kenoodl/verify | |
|---|---|---|
| Marketplace da comunidade asymptotic-code/sui-prover | Listado Versão: 0.1.0 Forks (GitHub): 13 Estrelas (GitHub): 43 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 1.0.1 Nenhum número publicado Sem marcação · Visto pela primeira vez |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Os fatos lado a lado
| Fato | sui-prover | com.kenoodl/verify |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) (diferente) | 43 | Sem número no GitHub |
| Forks (GitHub) (diferente) | 13 | Sem número no GitHub |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Instala-se como pacote de plugins | Servidor remoto (kenoodl.com/mcp) |
| Transporte (diferente) | Não informado | Streamable HTTP |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede | Não publicado | Não publicado |
| Partes do pacote (diferente) | 1 | Não é um pacote |
| Licença | Não informado | Não informado |
| Repositório (diferente) | github.com/asymptotic-code/sui-prover | Não informado |
| Mudanças nos últimos 7 dias (diferente) | 2 | 0 |
| Visto pela primeira vez (diferente) | 2026-10-15 | 2026-10-11 |
| Endpoint na última verificação (diferente) | sem endpoint remoto que verificamos | Respondeu há 15 h |
As linhas em que os dois diferem têm fundo destacado e valores em negrito. Onde os próprios dados dizem qual valor é melhor (mais marketplaces, um número maior do mesmo marketplace, um release mais recente, uma marca verified em um marketplace que lista os dois), o melhor também é marcado em verde com ▲ e o pior em vermelho com ▼. Onde roda, o transporte, as ferramentas, as configurações, os hooks, as partes do pacote, a licença e as mudanças da semana são marcados apenas como diferentes: mais ou menos não é melhor por si só.
O que cada um diz que faz
sui-prover
Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
com.kenoodl/verify
Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call.
Como executar cada um
sui-prover Como plugin do Claude Code
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-provercom.kenoodl/verify Como servidor MCP remoto
claude mcp add --transport http verify https://kenoodl.com/mcpComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Só com.kenoodl/verify tem um endpoint remoto que verificamos. Como verificamos os endpoints
Ferramentas que cada um declara
Os marketplaces de nenhum dos dois publicam uma lista de ferramentas, então não há o que comparar.
Configurações que cada um pede
Os marketplaces de nenhum dos dois publicam as configurações que ele pede.
O que pode fazer: sui-prover · O que pode fazer: com.kenoodl/verify · Comparar outros dois plugins
Dados de Community GitHub marketplaces. Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.