C
coldHat
52FairPut on anyone's AI rules by GitHub username: fetches their hat.md and its hat code.
Loading the directory
Loading the directory
MCP servers linked to github.com/vince-gonzalez.
4 servers
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.
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.