Ext Ops Panel
Abrir o painel

io.github.mrfentmen/easycrypt-mcp

EasyCrypt MCP: 20 real tools to read, check, lint, scaffold, build and run EasyCrypt code.

Servidor MCP · de mrfentmen

Conectar Comparar Reivindicar

Resumo

io.github.mrfentmen/easycrypt-mcp é um servidor MCP publicado por mrfentmen. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-11-08 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-11-08.

O que pede

  • Roda na sua máquina

Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.

O que declara, pede e executa, por completo

Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.

Funciona com

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI
Instalar no CursorInstalar no VS Code

Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.

Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.

Conectar

Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.

Como servidor MCP local: pacote npm

Gerado a partir do que Official MCP Registry declara.

Claude CodeTerminal
claude mcp add --transport stdio easycrypt-mcp -- npx -y @mrfentmen/easycrypt-mcp
Codex~/.codex/config.toml
[mcp_servers.easycrypt-mcp]
command = "npx"
args = ["-y", "@mrfentmen/easycrypt-mcp"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "easycrypt-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/easycrypt-mcp"
      ]
    }
  }
}

Onde está publicado

MarketplaceStatusVersãoNúmerosVerificadoVisto pela primeira vez
Official MCP Registry (Abrir o registro) Listado 1.0.0 Forks (GitHub): 0
Estrelas (GitHub): 0		 Sem marcação

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.

O que mudou

  1. Passou a ser um produto que acompanhamos
  2. Official MCP Registry: apareceu

Plugins semelhantes

Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.

  • e-mcp io.github.mrfentmen/e-mcp

    E MCP: 20 real tools to read, check, lint, scaffold, build and run E code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • m-mcp io.github.mrfentmen/m-mcp

    M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • moocode-mcp io.github.mrfentmen/moocode-mcp

    Moocode MCP: 20 real tools to read, check, lint, scaffold, build and run Moocode code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • holyc-mcp io.github.mrfentmen/holyc-mcp

    HolyC MCP: 20 real tools to read, check, lint, scaffold, build and run HolyC code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • ec-mcp io.github.mrfentmen/ec-mcp

    eC MCP: 20 real tools to read, check, lint, scaffold, build and run eC code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • whiley-mcp io.github.mrfentmen/whiley-mcp

    Whiley MCP: 20 real tools to read, check, lint, scaffold, build and run Whiley code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • cypher-mcp io.github.mrfentmen/cypher-mcp

    Cypher MCP: 20 real tools to read, check, lint, scaffold, build and run Cypher code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • mint-mcp io.github.mrfentmen/mint-mcp

    Mint MCP: 20 real tools to read, check, lint, scaffold, build and run Mint code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • smt-mcp io.github.mrfentmen/smt-mcp

    SMT MCP: 20 real tools to read, check, lint, scaffold, build and run SMT code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • marlowe-mcp io.github.mrfentmen/marlowe-mcp

    Marlowe MCP: 20 real tools to read, check, lint, scaffold, build and run Marlowe code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

Plugins semelhantes por marketplace

A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?

Listado em Claude Code: claude-plugins-community (5)

  • mcp2cli

    Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents

    de myeolinmalchi · Pacote de plugins

    Listado em: Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • mcp-yoshi

    Real-time security filter for MCP tool communications. Works as a Claude Code hook to inspect all data sent to and received from MCP servers. Detects prompt injection, API key…

    de aliksir · Pacote de plugins

    Listado em: Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • memex io.github.STiFLeR7/memex

    Temporal engineering context for agents via MCP.

    de STiFLeR7 · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-community, PyPI (MCP servers) · Descreve quase a mesma tarefa

  • socraticode io.github.giancarloerra/socraticode

    MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.

    de giancarloerra · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • mcpg

    Generate MCP server scaffold and tool implementation code from a natural language description. Describe what tools you want in plain language, choose TypeScript or Python, and get…

    de yn01 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

Listado em Claude Code: claude-plugins-official (5)

  • mcp-tunnels

    Connect Claude to a private MCP server through an Anthropic MCP tunnel. The /create-docker-mcp-tunnel command drives the Docker Compose quickstart end to end: certificates, proxy…

    de Anthropic · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official · Descreve quase a mesma tarefa

  • mcp-server io.github.cap-js/mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of CAP applications.

    de cap-js · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • mdk-mcp-server io.github.SAP/mdk-mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of MDK applications.

    de SAP · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • Terraform

    Generate more accurate Terraform and automate workflows for HCP Terraform and Terraform Enterprise

    de hashicorp · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog · Descreve quase a mesma tarefa

  • Setup MCP Agent Analytics

    Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.

    de pendo-io · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official · Descreve quase a mesma tarefa

Listado em Claude: knowledge-work-plugins (5)

  • gk-cli com.gitkraken/gk-cli

    The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.

    de gitkraken.com · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Claude: knowledge-work-plugins · Descreve quase a mesma tarefa

  • vanta

    The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…

    de VantaInc · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • security-guidance

    Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…

    de Anthropic · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • Desktop Commander

    MCP server for terminal commands, file operations, and process management

    de wonderwhy-er · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces, npm registry (MCP servers) · Descreve quase a mesma tarefa

  • auth0

    Enterprise-grade auth, easy to implement. Add login, SSO, MFA, and access control to any app with framework-aware guidance.

    de auth0 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Descreve quase a mesma tarefa

Listado em Codex: openai-curated (openai/plugins) (5)

  • crowdstrike-falcon-foundry

    CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…

    de CrowdStrike · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Codex: openai-curated (openai/plugins), Copilot CLI: github/awesome-copilot, Community GitHub marketplaces, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • Cloudflare

    Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.

    de Cloudflare · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • Qodo

    Qodo setup, code intelligence, and review workflows.

    de qodo-ai · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • crowdstrike-falcon-fusion

    CrowdStrike Falcon Fusion skills for authoring, deploying, and executing Fusion workflows. Includes live action discovery, YAML authoring with schema validation, workflow import…

    de CrowdStrike · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Codex: openai-curated (openai/plugins), Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • GitHub

    Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.

    de OpenAI · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

Listado em Community GitHub marketplaces (5)

  • mcp-apps-builder

    Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.

    de mcp-use · Pacote de plugins

    Listado em: Community GitHub marketplaces · Descreve quase a mesma tarefa

  • cybersec-toolkit io.github.26zl/cybersec-toolkit

    Authorization-gated MCP server to discover and run 670+ security tools for CTF, pentest, and DFIR.

    de 26zl · Servidor MCP

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • mcp-builder

    Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.

    de mcp-use · Pacote de plugins

    Listado em: Community GitHub marketplaces · Descreve quase a mesma tarefa

  • socraticode io.github.giancarloerra/socraticode

    MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.

    de giancarloerra · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • mcp

    Commands for setup well known MCP server integration if needed and update CLAUDE.md file with requirement to use this MCP server for current project.

    de Vlad Goncharov · Pacote de plugins

    Listado em: Community GitHub marketplaces · Descreve quase a mesma tarefa

Listado em Copilot CLI: github/awesome-copilot (5)

  • kotlin-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…

    de Awesome Copilot Community · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • typescript-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…

    de Awesome Copilot Community · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • go-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…

    de Awesome Copilot Community · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • java-mcp-development

    Build Model Context Protocol (MCP) servers in Java with the official MCP Java SDK 2.x. Includes a skill that generates a server project and an expert agent for guidance.

    de Awesome Copilot Community · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • rust-mcp-development

    Build high-performance Model Context Protocol servers in Rust using the official rmcp SDK with async/await, procedural macros, and type-safe implementations.

    de Awesome Copilot Community · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve uma tarefa semelhante

Listado em Copilot CLI: github/copilot-plugins (5)

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

    de github · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • mcp-apps

    Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • cpp-language-server

    Navigate and interact with your C++ code using the Microsoft C++ Language Server.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • azure-devops-copilot-plugin

    Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • microsoft-365-agents-toolkit

    Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

Listado em Cursor: cursor/plugins (5)

  • playwright-mcp io.github.microsoft/playwright-mcp

    Playwright Tools for MCP

    de microsoft · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Cursor: cursor/plugins, Docker MCP Catalog, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • Tailscale

    Let Grok Bot reach MCP servers on your private Tailscale network: connect your own tailnet, or your team's company tailnets turned on by a team admin, with each member using their…

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Cursor SDK

    Build apps, scripts, and automations with the TypeScript SDK.

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Origin Apps

    Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • pstack

    if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.

    de Lauren Tan · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

Listado em Docker MCP Catalog (5)

  • E2B

    Giving Claude ability to run code with E2B via MCP (Model Context Protocol).

    de e2b-dev · Servidor MCP

    Listado em: Docker MCP Catalog · Descreve quase a mesma tarefa

  • npm-sentinel-mcp io.github.Nekzus/npm-sentinel-mcp

    Advanced NPM analysis: Recursive security scanning, ecosystem awareness, and deep insights.

    de Nekzus · Servidor MCP

    Listado em: Official MCP Registry, Docker MCP Catalog, npm registry (MCP servers) · Descreve quase a mesma tarefa

  • Git (Reference)

    Git repository interaction and automation.

    de modelcontextprotocol · Servidor MCP

    Listado em: Docker MCP Catalog, PyPI (MCP servers) · Descreve quase a mesma tarefa

  • Terraform

    Generate more accurate Terraform and automate workflows for HCP Terraform and Terraform Enterprise

    de hashicorp · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog · Descreve quase a mesma tarefa

  • stackhawk com.stackhawk/stackhawk

    An MCP server that provides interaction with StackHawk's security scanning platform.

    de stackhawk.com · Servidor MCP

    Listado em: Official MCP Registry, Docker MCP Catalog · Descreve quase a mesma tarefa

Listado em Official MCP Registry (5)

  • e-mcp io.github.mrfentmen/e-mcp

    E MCP: 20 real tools to read, check, lint, scaffold, build and run E code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • m-mcp io.github.mrfentmen/m-mcp

    M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • moocode-mcp io.github.mrfentmen/moocode-mcp

    Moocode MCP: 20 real tools to read, check, lint, scaffold, build and run Moocode code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • holyc-mcp io.github.mrfentmen/holyc-mcp

    HolyC MCP: 20 real tools to read, check, lint, scaffold, build and run HolyC code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • ec-mcp io.github.mrfentmen/ec-mcp

    eC MCP: 20 real tools to read, check, lint, scaffold, build and run eC code.

    de mrfentmen · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

Listado em PyPI (MCP servers) (5)

  • nagato-mcp-tools

    Agent-First MCP Toolkit -- code search, editing, execution, and analysis tools for any MCP client.

    de Chromoforge · Servidor MCP

    Listado em: PyPI (MCP servers) · Descreve quase a mesma tarefa

  • sniffmcp-cli

    Sniff out what your AI tools are hiding: local security checks for MCP servers (hidden instructions, known malware, leaked secrets, rug pulls).

    de SomehowLiving · Servidor MCP

    Listado em: PyPI (MCP servers) · Descreve quase a mesma tarefa

  • codacy com.mcparmory/codacy

    Analyze code quality, security issues, and coverage across repositories

    de mcparmory.com · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • pyobfus-mcp

    9 local Python protection tools, delivery checks and traceback reverse mapping. No telemetry.

    de zhurong2020 · Servidor MCP

    Listado em: Official MCP Registry, PyPI (MCP servers) · Descreve quase a mesma tarefa

  • Quantum Readiness Scan

    Local crypto inventory for developers and AI agents; coverage and limits inside the CBOM.

    de quantumreadiness.eu · Servidor MCP

    Listado em: Official MCP Registry, PyPI (MCP servers) · Descreve quase a mesma tarefa

Listado em npm registry (MCP servers) (5)

  • mcp-observatory io.github.KryptosAI/mcp-observatory

    MCP security scanner. CI-native testing, attack simulation, health scoring, and SARIF.

    de KryptosAI · Servidor MCP

    Listado em: Official MCP Registry, npm registry (MCP servers) · Descreve quase a mesma tarefa

  • Secrets-LE

    Detect hardcoded secrets in source and config. Reports masked previews, never the values.

    de nolindnaidoo · Servidor MCP

    Listado em: Official MCP Registry, npm registry (MCP servers) · Descreve quase a mesma tarefa

  • rigour io.github.rigour-labs/rigour

    Lets coding agents review their change, find an existing helper, and recall the team's lessons.

    de rigour-labs · Servidor MCP

    Listado em: Official MCP Registry, npm registry (MCP servers) · Descreve quase a mesma tarefa

  • sphior-code-mcp io.github.Toraastrta/sphior-code-mcp

    Deterministic SAST/SCA findings + fix guidance for your AI agent. Runs locally, no account needed.

    de Toraastrta · Servidor MCP

    Listado em: Official MCP Registry, npm registry (MCP servers) · Descreve quase a mesma tarefa

  • Jarroba Tools

    140 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.

    de Invarato · Servidor MCP

    Listado em: Official MCP Registry, npm registry (MCP servers) · Descreve quase a mesma tarefa

Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.

Quer esta marca no seu plugin em nosso catálogo?

Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação

Você também recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.

Adicionar aos seus projetos Veja o que o painel faz

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.

De onde vêm os dados: como o catálogo é montado