MCP.Market

Publisher

vince-gonzalez

5 servers listed under io.github.vince-gonzalez · 5 scanned and ranked · 0 reviews

github.com/vince-gonzalez

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 yet
    local · pypi2130/wkFree
  • See a color or image as a colorblind person does; recolor images and make Ishihara plates.

    No reviews yet
    local · npm127/wkFree
  • Check if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.

    No reviews yet
    local · npm130/wkFree
  • Put on anyone's AI rules by GitHub username: fetches their hat.md and its hat code.

    No reviews yet
    gateway-readyFree
  • Does the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.

    No reviews yet
    local · pypi19/wkFree

Is this you? Claim your listings to reply to reviews and keep them current. Claiming never changes a grade or a ranking.