Ext Ops Panel
Ouvrir le tableau de bord
Éditeur

vince-gonzalez

Notre passage du a compté 5 plugins actifs pour outils IA de vince-gonzalez sur les places de marché que nous lisons.

Publié sur
Official MCP Registry

Compte GitHub : vince-gonzalez

Plugins de vince-gonzalez

  1. gonzalgo

    Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

    par vince-gonzalez · Serveur MCP · Official MCP Registry

    Fonctionne avec : Claude Code, Codex, Cursor, VS Code, Copilot CLI

  2. coldHat

    Put on anyone's AI rules by GitHub username: fetches their hat.md and its hat code.

    par vince-gonzalez · Serveur MCP · Official MCP Registry

    Fonctionne avec : Claude Code, Codex, Cursor, VS Code, Copilot CLI

  3. colorblind io.github.vince-gonzalez/colorblind

    See a color or image as a colorblind person does; recolor images and make Ishihara plates.

    par vince-gonzalez · Serveur MCP · Official MCP Registry

    Fonctionne avec : Claude Code, Codex, Cursor, VS Code, Copilot CLI

  4. cvdsafe io.github.vince-gonzalez/cvdsafe

    Check if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.

    par vince-gonzalez · Serveur MCP · Official MCP Registry

    Fonctionne avec : Claude Code, Codex, Cursor, VS Code, Copilot CLI

  5. SayDo

    Does the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.

    par vince-gonzalez · Serveur MCP · Official MCP Registry

    Fonctionne avec : Claude Code, Codex, Cursor, VS Code, Copilot CLI

Plugins dont la fiche principale nomme cet éditeur, sous l’une des graphies ci-dessus. Un plugin présent sur plusieurs places de marché forme une ligne. Nous ne publions aucune coordonnée des éditeurs.

Tous les éditeurs · Tous les plugins pour outils IA

D’où viennent les données : comment le catalogue est construit