published by vince-gonzalez

4 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

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