vince-gonzalez
Our pass of counted 5 live AI tool plugins by vince-gonzalez on the marketplaces we read.
- Published on
- Official MCP Registry
GitHub account: vince-gonzalez
Plugins by vince-gonzalez
-
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Works with: Claude Code, Codex, Cursor, VS Code, Copilot CLI
-
Put on anyone's AI rules by GitHub username: fetches their hat.md and its hat code.
Works with: Claude Code, Codex, Cursor, VS Code, Copilot CLI
-
colorblind io.github.vince-gonzalez/colorblind
See a color or image as a colorblind person does; recolor images and make Ishihara plates.
Works with: Claude Code, Codex, Cursor, VS Code, Copilot CLI
-
cvdsafe io.github.vince-gonzalez/cvdsafe
Check if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.
Works with: Claude Code, Codex, Cursor, VS Code, Copilot CLI
-
Does the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.
Works with: Claude Code, Codex, Cursor, VS Code, Copilot CLI
Plugins whose main listing names this publisher, under any of the spellings above. A plugin listed on several marketplaces is one row. We publish no contact details of publishers.
All publishers · All AI tool plugins
Where the data comes from: how the catalog is built