Servers by @vince-gonzalez
All 4 servers published to the MCP Registry under the io.github.vince-gonzalez namespace.
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
PyPI
SayDo
Does the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.
PyPI
cvdsafe
Check if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.
npm
colorblind
See a color or image as a colorblind person does; recolor images and make Ishihara plates.
npm