MCP servers by vince-gonzalez

vince-gonzalez publishes 5 live MCP servers on GitHub. Listed by trust score, computed from each repository's own observable signals.

live servers

avg trust

most stars

gonzalgo

vince-gonzalez

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

★ 2updated 4 days ago

Opticquiz MCP

vince-gonzalez

Two MCP servers for color-vision accessibility: check whether a palette or image is colorblind-safe, and see it recolored as protan/deutan/tritan. Machado 2009 + CIEDE2000, publis…

updated a month ago

io.github.vince-gonzalez/colorblind

vince-gonzalez

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

★ 1updated 9 days ago

SayDo

vince-gonzalez

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

updated 2 months ago

coldHat

vince-gonzalez

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

updated 23 days ago