Ext Ops Panel
Abrir el panel

vibe-types

Skill indexes for Python, Rust, Scala 3, Lean 4, and TypeScript type system features and use-case patterns

Paquete de plugins · de jpablo

Resumen

vibe-types es un paquete de plugins para herramientas de programación con IA publicado por jpablo. Marketplaces que leemos y que lo publican: 1 (Community GitHub marketplaces). Lo vimos por primera vez el 2026-10-24 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-11-02.

Qué pide

  • Se instala como paquete de plugins

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

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 plugin de Claude Code

Generado a partir de lo que declara Community GitHub marketplaces.

Claude CodeDentro de una sesión de Claude Code
/plugin marketplace add jpablo/vibe-types
/plugin install vibe-types@vibe-types-marketplace

Dónde está publicado

MarketplaceEstadoVersiónCifrasVerificadoVisto por primera vez
Marketplace de la comunidad jpablo/vibe-types (Abrir el código en GitHub) Publicado 1.1.0 Forks (GitHub): 3
Estrellas (GitHub): 41
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.

Figura en un marketplace de la comunidad
MarketplaceRepositorioEstrellas (GitHub)
vibe-types-marketplace jpablo/vibe-types 41

Qué marketplaces leemos y cómo los comprobamos

Qué contiene el paquete

Tal como se publica en Community GitHub marketplaces.

Skills: 7

  • verify-markdown-snippets
  • vibe-clean
  • vibe-types:lean
  • vibe-types:python
  • vibe-types:rust
  • vibe-types:scala
  • vibe-types:typescript

Qué cambió

  1. Pasó a ser un producto que seguimos
  2. Community GitHub marketplaces: 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.

  • kamae-ts

    Server-side TypeScript design and review skills with rules-based user customization

    de Kosui Iwasa · Paquete de plugins

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

  • harnesskit

    Adaptive harness for vibe coders — automatically detects your repo stack, applies experience-level guardrails (beginner/intermediate/advanced), observes sessions via zero-token…

    de ice-ice-bear · Paquete de plugins

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

  • rust-dev

    Rust development with strict standards and implementation/review agents

    de Andrey Kuz · Paquete de plugins

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

  • lean4

    Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback

    de Cameron Freer · Paquete de plugins

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

  • rust-learning-lab

    Learn and review Rust through syntax, rationale, practice, and debugging.

    de nwiizo · Paquete de plugins

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

  • vibe-wise

    Learn how to build software while Claude writes the code.

    de Noah Kim · Paquete de plugins

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

  • moonbit-skills

    Bundled MoonBit development skills for Claude Code, Codex, OpenCode, and other agents.

    de MoonBit · Paquete de plugins

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

  • agents-language-specialists

    Expert agents for specific programming languages (Python, Go, Rust, etc.)

    de BuildWithClaude Community · Paquete de plugins

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

  • languages

    Languages — Idiomatic, modern practice for each language, with the quality gate that keeps it honest.

    de nimadorostkar · Paquete de plugins

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

  • Vibeflow

    Spec-driven development: from discovery to shipping. Analyze codebases, generate grounded specs, create self-contained prompt packs, and audit implementations.

    de Pedro Menezes · Paquete de plugins

    Publicado en: Community GitHub marketplaces · 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)
  • harnesskit

    Adaptive harness for vibe coders — automatically detects your repo stack, applies experience-level guardrails (beginner/intermediate/advanced), observes sessions via zero-token…

    de ice-ice-bear · Paquete de plugins

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

  • agent4s

    Scala code intelligence for AI coding agents. 35 commands — search, jump-to-definition, find references, call-graph, dead code detection, semantic rename, bug-hunt with taint…

    de scala-digest · Paquete de plugins

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

  • debug-skill

    Interactively debug source code — set breakpoints, step through execution, inspect live variables, evaluate expressions, and trace root causes.

    de AlmogBaku · Paquete de plugins

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

  • darce

    Stop vibecoding blind. Darce teaches you what the AI just built, concept breakdowns, pattern analysis, and quizzes on your actual code. Three modes: Ship (just code), Understand…

    de AmerSarhan · Paquete de plugins

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

  • graperoot

    Dual-graph code context engine for Claude Code. Builds a structural call graph and dependency graph of your codebase, then delivers precise file and symbol recommendations before…

    de kunal12203 · Paquete de plugins

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

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

    TypeScript/JavaScript language server for enhanced code intelligence

    de Anthropic · Paquete de plugins

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

  • appwrite

    Appwrite tools for Claude Code, including SDK skills, Appwrite MCP servers, and deployment commands.

    de appwrite · Paquete de plugins

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

  • claude-code-setup

    Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.

    de Anthropic · Paquete de plugins

    Publicado en: Claude Code: claude-plugins-official · 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

  • pyright-lsp

    Python language server (Pyright) for type checking and code intelligence

    de Anthropic · Paquete de plugins

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

Publicado en Claude: knowledge-work-plugins (5)
  • 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

  • buildkite

    Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API

    de buildkite · Paquete de plugins

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

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

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

  • base44

    Build and deploy Base44 full-stack apps with CLI project management and JavaScript/TypeScript SDK development skills

    de base44 · Paquete de plugins

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

  • modern-web-guidance

    Keep your coding agent up to date with the latest web best practices

    de GoogleChrome · Paquete de plugins

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

Publicado en Codex: openai-curated (openai/plugins) (5)
  • 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

  • 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

  • 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

  • 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

  • Superpowers

    An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.

    de Jesse Vincent · Paquete de plugins

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

Publicado en Community GitHub marketplaces (5)
  • kamae-ts

    Server-side TypeScript design and review skills with rules-based user customization

    de Kosui Iwasa · Paquete de plugins

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

  • rust-dev

    Rust development with strict standards and implementation/review agents

    de Andrey Kuz · Paquete de plugins

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

  • lean4

    Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback

    de Cameron Freer · Paquete de plugins

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

  • rust-learning-lab

    Learn and review Rust through syntax, rationale, practice, and debugging.

    de nwiizo · Paquete de plugins

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

  • vibe-wise

    Learn how to build software while Claude writes the code.

    de Noah Kim · Paquete de plugins

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

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

    Build applications with the Microsoft Copilot SDK, transitioning from GitHub Copilot SDK, across multiple programming languages. Includes instructions for C#, Go…

    de Awesome Copilot Community · Paquete de plugins

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

  • frontend-web-dev

    Essential prompts, instructions, and chat modes for modern frontend web development including React, Angular, Vue, TypeScript, and CSS frameworks.

    de Awesome Copilot Community · Paquete de plugins

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

  • radius

    Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.

    de radius-project · Paquete de plugins

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

  • typescript

    Skills from the TypeScript team for coding agents working with TypeScript, JavaScript, and Node.js. Covers complex TypeScript tasks like upgrades, project setup, strictness, ESM…

    de microsoft · Paquete de plugins

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

  • ai-ready

    Analyze any repository and generate AI-ready configuration — AGENTS.md, copilot-instructions.md, CI workflows, issue templates, and more. Mines your PR review patterns and creates…

    de johnpapa · Paquete de plugins

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

Publicado en Copilot CLI: github/copilot-plugins (5)
  • 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

  • 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

  • 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

  • microsoft-365-agents-toolkit

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

    de microsoft · Paquete de plugins

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

Publicado en Cursor: cursor/plugins (5)
  • 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 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

  • 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 · 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

  • Advisor

    Consult a stronger model before major decisions, when stuck, and before declaring done.

    de Cursor · Paquete de plugins

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

Publicado en Docker MCP Catalog (5)
  • Effect

    Tools and resources for writing Effect code in Typescript.

    de tim-smart · Servidor MCP

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

  • Sequa.AI

    Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.

    de sequa-ai · Servidor MCP

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

  • Zen

    Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.

    de BeehiveInnovations · Servidor MCP

    Publicado en: Docker MCP Catalog · Describe una tarea similar

  • Atlas Docs

    Provide LLMs hosted, clean markdown documentation of libraries and frameworks.

    de CartographAI · Servidor MCP

    Publicado en: Docker MCP Catalog · Describe una tarea similar

  • GitHub

    Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

    de github · Servidor MCP

    Publicado en: Official MCP Registry, Docker MCP Catalog, Community GitHub marketplaces · Describe una tarea similar

Publicado en Official MCP Registry (5)
  • jCodeMunch MCP

    Gives AI coding agents the function they asked for, not the whole file. Runs locally, 70+ languages.

    de jgravelle · Servidor MCP

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

  • prinfer

    TypeScript inferred types, completions and type errors for AI coding agents

    de clockblocker · Servidor MCP

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

  • Roslyn Workbench MCP

    Bring Visual Studio-style C# fixes and refactorings to your AI agent with local Roslyn Code Actions.

    de lantean-code · Servidor MCP

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

  • Polyglot-Debugger

    Multi-language debug skills and code execution helper.

    de Evozim · Servidor MCP

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

  • CleanCode AI

    Automated codebase refactoring and type safety validator.

    de Evozim · Servidor MCP

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

Publicado en PyPI (MCP servers) (5)
  • jCodeMunch MCP

    Gives AI coding agents the function they asked for, not the whole file. Runs locally, 70+ languages.

    de jgravelle · Servidor MCP

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

  • repo-graph io.github.James-Chahwan/repo-graph

    Structural graph map of any codebase so LLMs navigate by structure, not guesswork.

    de James-Chahwan · Servidor MCP

    Publicado en: Official MCP Registry, PyPI (MCP servers), Community GitHub marketplaces · 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

  • jDocmunch MCP

    Section-level doc search for .md, .rst, .adoc, .ipynb, .html, .yaml, .json, and OpenAPI specs.

    de jgravelle · Servidor MCP

    Publicado en: Official MCP Registry, PyPI (MCP servers), Community GitHub marketplaces · 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

Publicado en npm registry (MCP servers) (5)
  • @rubyclii/cli

    RubyCLI — AI coding agent powered by RubyCLI Cloud. Derived from OpenCLI (MIT).

    de @rubyclii · Servidor MCP

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

  • Jev for coding agents

    jev_classify, jev_check, jev_score, jev_rank, jev_ask over MCP, plus the /jev skill.

    de François Chastel · Paquete de plugins

    Publicado en: Community GitHub marketplaces, npm registry (MCP servers) · Describe casi la misma tarea

  • consult io.github.neelsatyavolu/consult

    Get a second opinion on your code from every coding agent you have. No API keys.

    de neelsatyavolu · Servidor MCP

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

  • codegraph io.github.codegraph-ai/codegraph

    Semantic code graph: 42 tools, 38 languages. Callers, impact, AI context, memory, PR review.

    de codegraph-ai · Servidor MCP

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

  • gitnexus

    Graph-powered code intelligence for AI agents. Index any codebase, query via MCP or CLI.

    de abhigyanpatwari · 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.

Datos de Community GitHub marketplaces. 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