vince-gonzalez
Imported from public sources. Its owner can claim it by signing in.
4 items
- vince-gonzalez 2gonzalgoReports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.MCPPython
- vince-gonzalez 1colorblindSee a color or image as a colorblind person does; recolor images and make Ishihara plates.MCPNode.jsImages
- vince-gonzalez 1cvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.MCPNode.jsImages
- vince-gonzalezSayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.MCPPython