Vince-gonzalez MCP Servers

5 servers published under vince-gonzalez. 1 answered our last handshake, 0 did not, and between them they expose 3 tools.

5 servers 1 answering 0 not responding 113 installs/wk

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

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

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

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

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