vibe-types
Skill indexes for Python, Rust, Scala 3, Lean 4, and TypeScript type system features and use-case patterns
Lot de plugins · par jpablo
Aperçu
vibe-types est un lot de plugins pour les outils de code IA publié par jpablo. Places de marché que nous lisons et qui le référencent : 1 (Community GitHub marketplaces). Nous l'avons vu pour la première fois le 2026-10-24 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-11-02.
Ce qu'il demande
- S'installe comme lot de plugins
Aucune des places de marché que nous lisons ne publie ses outils ni les réglages qu'il demande.
Ce qu'il déclare, demande et exécute, en détail
N’installez que des plugins de développeurs en qui vous avez confiance. Nous reprenons ce que publient les places de marché et ne testons pas les plugins.
Fonctionne avec
- Claude Code
D'après les marketplaces qui le listent et le transport MCP qu'il déclare, tels que chaque client les documente. Nous ne testons pas les plugins.
Connecter
Commandes et configurations construites uniquement à partir de ce que déclarent ses places de marché. Nous ne les exécutons pas pour vous et ne testons pas les plugins.
En plugin Claude Code
Construit à partir de ce que déclare Community GitHub marketplaces.
/plugin marketplace add jpablo/vibe-types
/plugin install vibe-types@vibe-types-marketplaceOù il est publié
| Place de marché | Statut | Version | Chiffres | Vérifié | Vu pour la première fois |
|---|---|---|---|---|---|
| Place de marché communautaire jpablo/vibe-types (Ouvrir la source sur GitHub) | Référencé | 1.1.0 | Forks (GitHub): 3 Étoiles (GitHub): 41 |
Non marqué |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Listé dans une place de marché communautaire
| Place de marché | Dépôt | Étoiles (GitHub) |
|---|---|---|
| vibe-types-marketplace | jpablo/vibe-types | 41 |
Quelles places de marché nous lisons et comment nous les vérifions
Ce que contient le lot
Tel que publié sur Community GitHub marketplaces.
Skills: 7
verify-markdown-snippetsvibe-cleanvibe-types:leanvibe-types:pythonvibe-types:rustvibe-types:scalavibe-types:typescript
Ce qui a changé
- Est devenu un produit que nous suivons
- Community GitHub marketplaces: apparu
Plugins similaires
Produits dont les noms, descriptions, outils et skills sont les plus proches de celui-ci par le sens, sur toutes les places de marché que nous lisons. La proximité n'est classée qu'à l'intérieur de cette liste.
-
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 similaires par place de marché
La même question posée à chaque place de marché séparément : y a-t-il là un équivalent de ce plugin ?
Référencé sur 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…
Référencé sur 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
Référencé sur 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
Référencé sur 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.
Référencé sur 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.
Référencé sur 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…
Référencé sur 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.
Référencé sur 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.
Référencé sur 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.
Référencé sur 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.
Référencé sur 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
Référencé sur 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.
Trouvés par le sens, et non par un code ou un dépôt commun : les plugins similaires restent des produits distincts, et ceci n'est ni un avis ni une recommandation.
Vous voulez cette marque pour votre plugin dans notre catalogue ?
Prouvez que vous le maintenez avec un fichier dans son dépôt, un fichier sur votre domaine ou un enregistrement DNS, et vous pourrez afficher cette marque sur la fiche, avec des bannières à jour pour votre site et votre README. Comment se passe la vérification
Vous recevez aussi des alertes quand une marketplace le publie, le retire, change sa marque vérifiée ou ce qu'il demande, et son endpoint distant est surveillé comme un service web.
Données issues de Community GitHub marketplaces. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.