vibe-types
Skill indexes for Python, Rust, Scala 3, Lean 4, and TypeScript type system features and use-case patterns
Pacote de plugins · de jpablo
Resumo
vibe-types é um pacote de plugins para ferramentas de programação com IA publicado por jpablo. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). Vimos pela primeira vez em 2026-10-24 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-11-02.
O que pede
- Instala-se como pacote de plugins
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
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 plugin do Claude Code
Gerado a partir do que Community GitHub marketplaces declara.
/plugin marketplace add jpablo/vibe-types
/plugin install vibe-types@vibe-types-marketplace
Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Marketplace da comunidade jpablo/vibe-types (Abrir o código no GitHub) | Listado | 1.1.0 | Forks (GitHub): 3 Estrelas (GitHub): 41 |
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.
Listado em um marketplace da comunidade
| Marketplace | Repositório | Estrelas (GitHub) |
|---|---|---|
| vibe-types-marketplace | jpablo/vibe-types | 41 |
O que o pacote contém
Conforme publicado em Community GitHub marketplaces.
Skills: 7
verify-markdown-snippetsvibe-cleanvibe-types:leanvibe-types:pythonvibe-types:rustvibe-types:scalavibe-types:typescript
O que mudou
- Passou a ser um produto que acompanhamos
- Community GitHub marketplaces: 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.
-
Server-side TypeScript design and review skills with rules-based user customization
-
Adaptive harness for vibe coders — automatically detects your repo stack, applies experience-level guardrails (beginner/intermediate/advanced), observes sessions via zero-token…
-
Rust development with strict standards and implementation/review agents
-
Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback
-
Learn and review Rust through syntax, rationale, practice, and debugging.
-
Learn how to build software while Claude writes the code.
-
Bundled MoonBit development skills for Claude Code, Codex, OpenCode, and other agents.
-
Expert agents for specific programming languages (Python, Go, Rust, etc.)
-
languages
Languages — Idiomatic, modern practice for each language, with the quality gate that keeps it honest.
-
Spec-driven development: from discovery to shipping. Analyze codebases, generate grounded specs, create self-contained prompt packs, and audit implementations.
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)
-
Adaptive harness for vibe coders — automatically detects your repo stack, applies experience-level guardrails (beginner/intermediate/advanced), observes sessions via zero-token…
-
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…
-
Interactively debug source code — set breakpoints, step through execution, inspect live variables, evaluate expressions, and trace root causes.
-
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…
-
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…
Listado em Claude Code: claude-plugins-official (5)
-
TypeScript/JavaScript language server for enhanced code intelligence
-
Appwrite tools for Claude Code, including SDK skills, Appwrite MCP servers, and deployment commands.
-
Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Python language server (Pyright) for type checking and code intelligence
Listado em Claude: knowledge-work-plugins (5)
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API
-
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…
-
Build and deploy Base44 full-stack apps with CLI project management and JavaScript/TypeScript SDK development skills
-
Keep your coding agent up to date with the latest web best practices
Listado em Codex: openai-curated (openai/plugins) (5)
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Qodo setup, code intelligence, and review workflows.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
Listado em Community GitHub marketplaces (5)
-
Server-side TypeScript design and review skills with rules-based user customization
-
Rust development with strict standards and implementation/review agents
-
Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback
-
Learn and review Rust through syntax, rationale, practice, and debugging.
-
Learn how to build software while Claude writes the code.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Build applications with the Microsoft Copilot SDK, transitioning from GitHub Copilot SDK, across multiple programming languages. Includes instructions for C#, Go…
-
Essential prompts, instructions, and chat modes for modern frontend web development including React, Angular, Vue, TypeScript, and CSS frameworks.
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
-
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…
-
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…
Listado em Copilot CLI: github/copilot-plugins (5)
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Advanced Security plugin for GitHub Copilot.
-
code-apps-preview
Build and deploy Power Apps code apps using React, Vite, and Power Platform connectors.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
Listado em Cursor: cursor/plugins (5)
-
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.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
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…
-
Internal team workflows for CI, code review, shipping, local automation, and verification.
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
Listado em Docker MCP Catalog (5)
-
Tools and resources for writing Effect code in Typescript.
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
-
Provide LLMs hosted, clean markdown documentation of libraries and frameworks.
-
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
Listado em Official MCP Registry (5)
-
Gives AI coding agents the function they asked for, not the whole file. Runs locally, 70+ languages.
-
TypeScript inferred types, completions and type errors for AI coding agents
-
Bring Visual Studio-style C# fixes and refactorings to your AI agent with local Roslyn Code Actions.
-
Multi-language debug skills and code execution helper.
-
Automated codebase refactoring and type safety validator.
Listado em PyPI (MCP servers) (5)
-
Gives AI coding agents the function they asked for, not the whole file. Runs locally, 70+ languages.
-
repo-graph io.github.James-Chahwan/repo-graph
Structural graph map of any codebase so LLMs navigate by structure, not guesswork.
-
A code intelligence graph that gives AI coding agents deep, token-efficient understanding of your codebase.
-
Section-level doc search for .md, .rst, .adoc, .ipynb, .html, .yaml, .json, and OpenAPI specs.
-
mcp-server-analyzer io.github.Anselmoo/mcp-server-analyzer
MCP server for Python, JavaScript, and TypeScript code analysis with Ruff, ty, Vulture, and Biome
Listado em npm registry (MCP servers) (5)
-
RubyCLI — AI coding agent powered by RubyCLI Cloud. Derived from OpenCLI (MIT).
-
jev_classify, jev_check, jev_score, jev_rank, jev_ask over MCP, plus the /jev skill.
-
consult io.github.neelsatyavolu/consult
Get a second opinion on your code from every coding agent you have. No API keys.
-
codegraph io.github.codegraph-ai/codegraph
Semantic code graph: 42 tools, 38 languages. Callers, impact, AI context, memory, PR review.
-
Graph-powered code intelligence for AI agents. Index any codebase, query via MCP or CLI.
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.
Dados de Community GitHub marketplaces. 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.