JetBrains vs. io.github.mrfentmen/idris-mcp
JetBrains é um servidor MCP publicado por GannaChernyshova. Marketplaces que lemos e que o listam: 1 (Docker MCP Catalog). io.github.mrfentmen/idris-mcp é um servidor MCP publicado por mrfentmen. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-11-09. 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 |   JetBrains |  io.github.mrfentmen/idris-mcp |
|---|---|---|
| Docker MCP Catalog | Listado Versão: sha256:a662cac15c5d Forks (GitHub): 7 Downloads (Docker Hub): 60 127 Estrelas (Docker Hub): 2 Estrelas (GitHub): 9 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 1.0.0 Forks (GitHub): 0 Estrelas (GitHub): 0 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 | JetBrains | io.github.mrfentmen/idris-mcp |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) (diferente) | 9 (melhor) | 0 (pior) |
| Downloads (Docker Hub) (diferente) | 60 127 | Sem número no Docker Hub |
| Forks (GitHub) (diferente) | 7 (melhor) | 0 (pior) |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Na sua máquina (mcp/jetbrains) | Na sua máquina (@mrfentmen/idris-mcp) |
| Transporte | stdio | stdio |
| Ferramentas que declara (diferente) | 30 | Não publicado |
| Variáveis de ambiente que pede (diferente) | 1, das quais segredos: 0 | Não publicado |
| Licença (diferente) | Apache-2.0 | Não informado |
| Repositório (diferente) | github.com/gannachernyshova/mcp-jetbrains | github.com/mrfentmen/awesome-servers |
| Mudanças nos últimos 7 dias (diferente) | 0 | 2 |
| Visto pela primeira vez (diferente) | 2026-10-11 | 2026-11-08 |
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
JetBrains
A model context protocol server to work with JetBrains IDEs: IntelliJ, PyCharm, WebStorm, etc. Also, works with Android Studio.
io.github.mrfentmen/idris-mcp
Idris MCP: 20 real tools to read, check, lint, scaffold, build and run Idris code.
Como executar cada um
JetBrains Como servidor MCP local: imagem Docker
claude mcp add --transport stdio jetbrains -- docker run -i --rm mcp/jetbrainsio.github.mrfentmen/idris-mcp Como servidor MCP local: pacote npm
claude mcp add --transport stdio idris-mcp -- npx -y @mrfentmen/idris-mcpComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Ferramentas que cada um declara
Os marketplaces de io.github.mrfentmen/idris-mcp não publicam lista de ferramentas, então não comparamos ferramentas.
Configurações que cada um pede
Os marketplaces de io.github.mrfentmen/idris-mcp não publicam as configurações que ele pede, então não comparamos configurações.
O que pode fazer: JetBrains · O que pode fazer: io.github.mrfentmen/idris-mcp · Comparar outros dois plugins
Dados de Docker MCP Catalog. 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.