"author:vince-gonzalez" matching MCP servers:

Enables auditing formal libraries (Lean 4/Mathlib and Metamath) to trace axiom dependencies, find theorems resting on sorry or compiler trust, and analyze the impact of changes.

Checks whether a color palette or an image is colorblind-safe and names the pairs that collapse, generates colorblind-safe palettes, recolors images as protanopia/deuteranopia/tritanopia, and generates Ishihara-style test plates. Built on the published Machado 2009 + CIEDE2000 method and runs locally over stdio.