Browse MCP servers

MCP Harbor, an MCP Server Registry, Directory, and Tower to Buzz.

4 matching

filtered by io.github.vince-gonzalez clear all

Showing 1–4 of 4 servers

gonzalgo
stdio

io.github.vince-gonzalez/gonzalgo

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

official
colorblind
stdio

io.github.vince-gonzalez/colorblind

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

official
cvdsafe
stdio

io.github.vince-gonzalez/cvdsafe

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

official
SayDo
stdio

io.github.vince-gonzalez/saydo

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

official

Search this catalogue from your agent

The registry is itself an MCP server. Add it once and your agent runs these same searches, with no account and no key.

claude mcp add --transport http mcp-registry-search https://ai.mcpharbor.dev/mcp