30 projects
coldhat
Your AI rules on any chat in one line: author, check, publish and measure coldHat hats.
cvdmaps
Colorblind-safe colormaps and color cycles for matplotlib — one call to make every plot colorblind-safe (Okabe-Ito, verified under protan/deutan/tritan).
gonzalgo
Measure where a formal library spends its axioms: Lean 4 and Metamath.
trichromacy
Normal (three-cone) color vision and anomalous trichromacy (protanomaly/deuteranomaly/tritanomaly).
dichromacy
Simulate the three dichromacies — protanopia, deuteranopia, tritanopia — for a color or image (Machado 2009).
achromatopsia
Simulate total color blindness (achromatopsia / complete monochromacy) — collapse a color or image to WCAG luminance.
logmar
Convert between visual-acuity notations: logMAR, Snellen (20/x or 6/x), and decimal. Pure arithmetic, no dependencies.
safepalette
Generate, check, and fix colorblind-safe color palettes (protan/deutan/tritan) — Machado 2009 + CIEDE2000, seeded with the Okabe-Ito safe palette.
tritanopia
Simulate tritanopia (blue-yellow) color vision — a typed shortcut over cvdsim / the OpticQuiz engine (Machado, Oliveira & Fernandes 2009).
deutan
Simulate deuteranopia (green-blind) color vision — a typed shortcut over cvdsim / the OpticQuiz engine (Machado, Oliveira & Fernandes 2009).
protan
Simulate protanopia (red-blind) color vision — a typed shortcut over cvdsim / the OpticQuiz engine (Machado, Oliveira & Fernandes 2009).
cvdsim
See a color, a palette, or a whole image as a colorblind person does — recolors for protanopia, deuteranopia, and tritanopia (Machado, Oliveira & Fernandes 2009).
cvdsafe
Is your palette colorblind-safe? Check and fix color palettes for color-vision deficiency with the published OpticQuiz engine (Machado 2009 + CIEDE2000).
daltoscope
See a color, a palette, or a whole image as a colorblind person does — recolors for protanopia, deuteranopia, and tritanopia (Machado, Oliveira & Fernandes 2009).
hueristic
Is your palette colorblind-safe? Check and fix color palettes for color-vision deficiency with the published OpticQuiz engine (Machado 2009 + CIEDE2000).
saydo
Does the tool do what it says? A conformance harness for MCP servers, and an MCP server that reports what it found.
axsent
Measure what a formal library assumes: Rocq, Agda and Isabelle, from source, with nothing built
remapwrap
Build RemapWrap control surfaces from what you already have: a folder of samples, a list of applications, a set of shortcuts.
mmforge
Find avoidable axiom dependencies in Metamath databases, and build the proofs that remove them.
loadbearing
Separate what a claim asserts from what its derivation consumed.
certivl
Exact rational and certified interval arithmetic: enclosures that turn a computed inequality into a proof.
authorecon
Reconcile a body of published work against every place it lives - for any ORCID, from public sources - plus the gates that run before research output leaves your hands.
changewatch
A doorbell for your published work. Tells you when somebody else cites, stars, files or mentions it - and stays silent the rest of the time.
openapi-drift
Does the deployed service still do what your OpenAPI document says, and can a machine read it? A drift check, not a fuzzer and not a syntax validator.
legible
Three build gates for things a linter will not catch: type below a readable floor, colour that cannot be read on the surface it sits on, and a retired name reaching anything a human reads.
moonbeam-miner
Find the NerdMiners on your network and read their vitals, from the terminal.
plumhud
Miner fleet monitor - a borderless overlay HUD, alerts, and history.
keyj
Turn guitar tablature into notes, render it, and play it back with any keystroke.
opticquiz-cvd
Color accessibility engine: colorblind-safety (protan/deutan/tritan, Machado 2009 + CIEDE2000), palette fixing, and WCAG contrast. Zero dependencies; drops into any matplotlib/plotly workflow.
ishihara
Generate pseudoisochromatic (Ishihara-style) colour vision plates. Reproducible from a seed, no dependencies.
