MCP HeartbeatTHE MCP OBSERVATORY
Public workspace

Explore

Evidence for your next connection.

Independent measurements of remote MCP servers. Every observation has a timestamp.

Read-only probes

Publisher portfolio

vince-gonzalez

Explore the MCP servers published by vince-gonzalez, with independent connection checks, performance measurements, and setup instructions for each project.

Listed servers
5

Active projects in this portfolio. Deleted and deprecated registry rows are excluded.

Sampled servers
1

Active servers with a recorded connection probe

Latest probe connected
1

Latest stored probe connected. This is not a live guarantee.

Repositories
4

Distinct source repositories linked by the active listings

Portfolio overview

MCP servers

Compare connection status and measurements. Open a server for its tools, check results, and client configuration.

Dated server measurements. The status describes the last probe or a listed authentication requirement. Checks that have not been measured are not failures. Open a server to inspect the evidence.
Server / capabilityLast probeMedian latencyChecks passedLast checked
coldHat

Put on anyone's AI rules by GitHub username: fetches their hat.md and its hat code.

Developer ToolsCode & DevOps

Outdated check94 ms14 / 22
io.github.vince-gonzalez/colorblind

See a color or image as a colorblind person does; recolor images and make Ishihara plates.

MediaCode & DevOps

Not measuredNot measured4 / 6Not checked yet
io.github.vince-gonzalez/cvdsafe

Check if a palette or image is colorblind-safe, generate safe palettes, check WCAG contrast.

MediaCode & DevOps

Not measuredNot measured4 / 6Not checked yet
gonzalgo

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Developer ToolsCode & DevOps

Not measuredNot measured4 / 6Not checked yet
SayDo

Does the tool do what it says? Conformance receipts for MCP servers, and unknown when unchecked.

Developer ToolsCode & DevOps

Not measuredNot measured4 / 6Not checked yet

Company & identity

About vince-gonzalez

vince-gonzalez publishes MCP servers under the io.github.vince-gonzalez namespace. This namespace is associated with a GitHub login in the MCP Registry.

Namespace verification connects the publisher to its registry identity. It does not certify the security of individual servers.

Source repositories