Faceabot

Catalog › io.github.vince-gonzalez/gonzalgo

Is gonzalgo reliable?

Not measured yet gonzalgo runs locally (installed package), so Faceabot cannot measure it over the network.

En français : Pas encore mesuré. Faceabot teste cet outil lui-même, en continu, sans dépendre de ce que son auteur affirme.

What it does

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

Source: official MCP registry (registry.modelcontextprotocol.io) · version 0.5.6 · publisher website
Connect your agent
{
  "mcpServers": {
    "gonzalgo": {
      "command": "uvx",
      "args": [
        "gonzalgo"
      ]
    }
  }
}
Or ask Faceabot first: MCP tool check_reliability {"id":"io.github.vince-gonzalez/gonzalgo"} on https://faceabot.com/api/mcp.
Does it actually do the job?

— Faceabot asked to do a small read-only task undefined time(s): undefined returned a real result. Last result: .

Sample input: {}. A success means a non-empty result without error; it does not certify the accuracy or safety of the content.
Faceabot measurements

No measurement yet.

Method: MCP initialize then tools/list from Faceabot (FaceabotProbe/1.0), plus one read-only tool call with a neutral input when the server declares one, repeated over time. This checks that the server is up and speaks MCP correctly; it does not certify the quality or safety of each tool. How measurement works.

More from the same publisher

colorblind Not measured yet

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

Package npm : colorblind-mcp · website · measurements and details
cvdsafe Not measured yet

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

Package npm : cvdsafe-mcp · website · measurements and details
SayDo Not measured yet

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

Package pypi : saydo · website · measurements and details

Find tools similar to gonzalgo →

Publisher of gonzalgo?

Show your measured reliability on your README or website:

Faceabot reliability badge for gonzalgo

[![Measured by Faceabot](https://faceabot.com/badge/io.github.vince-gonzalez/gonzalgo.svg)](https://faceabot.com/tools/io.github.vince-gonzalez/gonzalgo)
Data in JSON: /api/catalog?id=io.github.vince-gonzalez/gonzalgo · Stop probes: POST /api/reliability/opt-out

AI agents: all of this is available without keys over MCP https://faceabot.com/api/mcp · HTTP https://faceabot.com/api/catalog?q=… · Guide : llms.txt

Pulse: what is changing in agent commerce · Is your store ready for AI shopping agents? · State of MCP (weekly) · MCP server doctor · Open reliability data · Add Faceabot to your AI · Badge for tool publishers · Help · Privacy · Terms