Ext Ops Panel
Abrir el panel

io.github.mrfentmen/pvs-mcp

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

Servidor MCP · de mrfentmen

Conectar Comparar Reclamar

Resumen

io.github.mrfentmen/pvs-mcp es un servidor MCP publicado por mrfentmen. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Lo vimos por primera vez el 2026-11-08 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-11-08.

Qué pide

  • Se ejecuta en tu equipo

Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.

Lo que declara, pide y ejecuta, completo

Instala solo plugins de desarrolladores en los que confíes. Mostramos lo que publican los marketplaces y no probamos plugins.

Funciona con

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

Un enlace de un clic abre el cliente, que pide confirmación antes de añadir el servidor.

Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.

Conectar

Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por ti ni probamos plugins.

Como servidor MCP local: paquete npm

Generado a partir de lo que declara Official MCP Registry.

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

Dónde está publicado

MarketplaceEstadoVersiónCifrasVerificadoVisto por primera vez
Official MCP Registry (Abrir el registro) Publicado 1.0.0 Forks (GitHub): 0
Estrellas (GitHub): 0		 Sin marca

Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.

Qué cambió

  1. Pasó a ser un producto que seguimos
  2. Official MCP Registry: apareció

Plugins similares

Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • 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

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • 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

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

Plugins similares por marketplace

La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?

Publicado en Claude Code: claude-plugins-community (5)

  • socraticode io.github.giancarloerra/socraticode

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

    de giancarloerra · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Describe casi la misma tarea

  • mcp2cli

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

    de myeolinmalchi · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-community · Describe casi la misma tarea

  • memex io.github.STiFLeR7/memex

    Temporal engineering context for agents via MCP.

    de STiFLeR7 · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-community, PyPI (MCP servers) · Describe casi la misma tarea

  • codescene-mcp-server com.codescene/codescene-mcp-server

    An MCP server that provides CodeScene Code Health analysis tools.

    de codescene.com · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-community, npm registry (MCP servers), Community GitHub marketplaces · Describe casi la misma tarea

  • nodebench io.github.HomenShum/nodebench

    260 MCP tools across 49 domains. AI Flywheel, quality gates, research, web scraping.

    de HomenShum · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-community · Describe casi la misma tarea

Publicado en Claude Code: claude-plugins-official (5)

  • 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 · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official · Describe casi la misma tarea

  • 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

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • 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

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • 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

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Claude: knowledge-work-plugins · Describe casi la misma tarea

  • Terraform

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

    de hashicorp · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog · Describe casi la misma tarea

Publicado en 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

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Claude: knowledge-work-plugins · Describe casi la misma tarea

  • Desktop Commander

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

    de wonderwhy-er · Servidor MCP

    Publicado en: 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) · Describe casi la misma tarea

  • 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 · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Describe casi la misma tarea

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    de figma · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • Qodo

    Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.

    de qodo-ai · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Describe casi la misma tarea

Publicado en Codex: openai-curated (openai/plugins) (5)

  • Qodo

    Qodo setup, code intelligence, and review workflows.

    de qodo-ai · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

  • GitHub

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

    de OpenAI · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

  • CodeRabbit

    AI-powered code review in Codex, powered by CodeRabbit.

    de CodeRabbit AI · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

  • Plugin Eval

    Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.

    de OpenAI Codex · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

  • Cloudflare

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

    de Cloudflare · Paquete de plugins

    Publicado en: Codex: openai-curated (openai/plugins) · Describe casi la misma tarea

Publicado en Community GitHub marketplaces (5)

  • mcp-builder

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

    de mcp-use · Paquete de plugins

    Publicado en: Community GitHub marketplaces · Describe casi la misma tarea

  • mcp-apps-builder

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

    de mcp-use · Paquete de plugins

    Publicado en: Community GitHub marketplaces · Describe casi la misma tarea

  • 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 · Paquete de plugins

    Publicado en: Community GitHub marketplaces · Describe casi la misma tarea

  • socraticode io.github.giancarloerra/socraticode

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

    de giancarloerra · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Describe casi la misma tarea

  • jCodeMunch MCP

    Gives AI agents the function they asked for, not the file. Commercial use needs a license.

    de jgravelle · Servidor MCP

    Publicado en: Official MCP Registry, PyPI (MCP servers), Community GitHub marketplaces · Describe casi la misma tarea

Publicado en Copilot CLI: github/awesome-copilot (5)

  • 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 · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • 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 · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • 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 · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • 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 · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe casi la misma tarea

  • python-mcp-development

    Build Model Context Protocol (MCP) servers in Python with the official MCP Python SDK v2 (MCPServer). Includes a skill that generates a server project and an expert agent for…

    de Awesome Copilot Community · Paquete de plugins

    Publicado en: Copilot CLI: github/awesome-copilot · Describe una tarea similar

Publicado en Copilot CLI: github/copilot-plugins (5)

  • mcp-apps

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

    de microsoft · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

  • cpp-language-server

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

    de microsoft · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

  • azure-devops-copilot-plugin

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

    de microsoft · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

  • code-apps-preview

    Build and deploy Power Apps code apps using React, Vite, and Power Platform connectors.

    de microsoft · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

    de github · Paquete de plugins

    Publicado en: Copilot CLI: github/copilot-plugins · Describe casi la misma tarea

Publicado en Cursor: cursor/plugins (5)

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

    Playwright Tools for MCP

    de microsoft · Servidor MCP

    Publicado en: Official MCP Registry, Claude Code: claude-plugins-official, Cursor: cursor/plugins, Docker MCP Catalog, Community GitHub marketplaces · Describe casi la misma tarea

  • 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 · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

  • Cursor Team Kit

    Internal team workflows for CI, code review, shipping, local automation, and verification.

    de Eric Zakariasson · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

  • Agent Compatibility

    CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.

    de Cursor · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

  • Cursor SDK

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

    de Cursor · Paquete de plugins

    Publicado en: Cursor: cursor/plugins · Describe casi la misma tarea

Publicado en Docker MCP Catalog (5)

  • ast-grep

    ast-grep is a fast and polyglot tool for code structural search, lint, rewriting at large scale.

    de dgageot · Servidor MCP

    Publicado en: Docker MCP Catalog · Describe casi la misma tarea

  • Git (Reference)

    Git repository interaction and automation.

    de modelcontextprotocol · Servidor MCP

    Publicado en: Docker MCP Catalog, PyPI (MCP servers) · Describe casi la misma tarea

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

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

    de Nekzus · Servidor MCP

    Publicado en: Official MCP Registry, Docker MCP Catalog, npm registry (MCP servers) · Describe casi la misma tarea

  • Context7

    Pull up-to-date, version-specific documentation and code examples for any library or framework straight into your prompt.

    de docker · Servidor MCP

    Publicado en: Docker MCP Catalog · Describe casi la misma tarea

  • VeyraX

    VeyraX MCP is the only connection you need to access all your tools in any MCP-compatible environment.

    de VeyraX · Servidor MCP

    Publicado en: Docker MCP Catalog · Describe casi la misma tarea

Publicado en Official MCP Registry (5)

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

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

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

    de mrfentmen · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

Publicado en 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

    Publicado en: PyPI (MCP servers) · Describe casi la misma tarea

  • codacy com.mcparmory/codacy

    Analyze code quality, security issues, and coverage across repositories

    de mcparmory.com · Servidor MCP

    Publicado en: Official MCP Registry · Describe casi la misma tarea

  • mcp-server-analyzer io.github.Anselmoo/mcp-server-analyzer

    MCP server for Python, JavaScript, and TypeScript code analysis with Ruff, ty, Vulture, and Biome

    de Anselmoo · Servidor MCP

    Publicado en: Official MCP Registry, PyPI (MCP servers) · Describe casi la misma tarea

  • repoctx-mcp

    Local repository intelligence for coding agents

    de gald33 · Servidor MCP

    Publicado en: PyPI (MCP servers) · Describe casi la misma tarea

  • code-atlas-mcp

    A code intelligence graph that gives AI coding agents deep, token-efficient understanding of your codebase.

    de SerPeter · Servidor MCP

    Publicado en: PyPI (MCP servers) · Describe casi la misma tarea

Publicado en npm registry (MCP servers) (5)

  • @opvs-ai/mcp

    OPVS MCP server — 38 tools, including native read-only code-index and lessons-near-code access plus the on-demand marketplace, fleet and per-project ship-line surfaces. Fits under…

    de opvs-ai · Servidor MCP

    Publicado en: npm registry (MCP servers) · Describe casi la misma tarea

  • JavaLens

    75 semantic Java analysis tools via Eclipse JDT: navigation, refactoring, code intelligence.

    de pzalutski-pixel · Servidor MCP

    Publicado en: Official MCP Registry, npm registry (MCP servers) · Describe casi la misma tarea

  • sverklo io.github.sverklo/sverklo

    Local-first MCP code intelligence: 37 tools — hybrid search, blast-radius, diff review, memory.

    de sverklo · Servidor MCP

    Publicado en: Official MCP Registry, npm registry (MCP servers) · Describe casi la misma tarea

  • @onlyflows/servicenow-mcp

    stdio ServiceNow MCP server with 19 tools for CRUD, CMDB traversal, ATF testing, and explicit multi-instance profiles.

    de @onlyflows · Servidor MCP

    Publicado en: npm registry (MCP servers) · Describe casi la misma tarea

  • @vornrun/mcp

    Vorn MCP server — task management, git, and workflow tools for AI coding agents

    de @vornrun · Servidor MCP

    Publicado en: npm registry (MCP servers) · Describe casi la misma tarea

Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.

¿Quieres esta marca para tu plugin en nuestro catálogo?

Demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS, y podrás mostrar esta marca en la ficha, con banners en vivo para tu web y tu README. Cómo funciona la verificación

Además recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.

Añadir a tus proyectos Descubre qué hace el panel

Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.

De dónde salen los datos: cómo se elabora el catálogo