vince-gonzalez
收录自公开来源。所有者登录后即可认领。
共 4 项
- 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.js图像
- vince-gonzalez 1cvdsafeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.MCPNode.js图像
- vince-gonzalezSayDoDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.MCPPython