Publisher
vince-gonzalez
5 servers listed under io.github.vince-gonzalez · 5 scanned and ranked · 0 reviews
Category rankings show at most two servers from any one publisher, so no single account can fill a list. Everything vince-gonzalez has listed is on this page.
Scanned and ranked (5)
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
No reviews yetlocal · pypi2130/wkFreeSee a color or image as a colorblind person does; recolor images and make Ishihara plates.
No reviews yetlocal · npm127/wkFreeCheck if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.
No reviews yetlocal · npm130/wkFreePut on anyone's AI rules by GitHub username: fetches their hat.md and its hat code.
No reviews yetgateway-readyFreeDoes the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.
No reviews yetlocal · pypi19/wkFree
Is this you? Claim your listings to reply to reviews and keep them current. Claiming never changes a grade or a ranking.