Deterministic mobile UI/UX checks for Compose / SwiftUI / XML / UIKit — WCAG validator with OKLCH auto-correct, cross-platform parity diff
Nothing to run from here
gonzalgo is installed from its publisher's own source and answers where it runs, so this marketplace is not in the path of a single call. There is no address here to send one to, and a panel that pretended otherwise would be showing you an answer we made up. Install it and call it from your own client — the Installation tab has the entry for each one.
Open Installation—
p95 latency
—
call success
local
runs on your machine
—
calls last 7d
What it does
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Quickstart
# 1 — run it from where its publisher ships it
uvx gonzalgo
# 2 — ask your agent something
> Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
gonzalgo is free: there is no plan to choose, no cap to set and nothing that can bill you.
Publishernot claimed
ZEAll 1 server
zengineco1 server
1 category
Collected from a public index. Nobody has claimed this account, so nothing here was written by its author — claim it if it is yours.
Installation
Where are you running it?
Every route below installs the same thing and ends at the same approval screen. This one runs on your machine: your client starts gonzalgo as a process under your own user, with your files and your network, so the tool surface below is what it can do to your computer rather than to a server somewhere else. It is scanned, signed and pinned to the version you choose — read the surface before you approve it.
Claude Codedeclared by this listing
This is a public server: you run it yourself and this marketplace is not in the path. Claude Code registers it in one command.
claude mcp add gonzalgo-mcp -- uvx gonzalgoReconnect, or start a new session, and the tools appear in the model’s tool list.
Free to install, and it runs from its publisher’s own package: no account, no key, no card.
What it writes
One config entry your client uses to start the process locally. A local server runs with your file system and your network, which is why it is priced without metering.
What you approve
This listing has not published its tool surface here yet, so what a client will ask you to approve is whatever the manifest declares at install time.
Tool surface
What the model actually sees. Descriptions are diffed on every release — see version history.
No tool surface on file
The catalogue records 0 tools on this listing, and the manifest behind them has not been imported into the marketplace yet. Nothing is shown here rather than another listing’s tools, which is what this page used to do.
Freeyour plan
$0 forever
- Every tool, no call limit
- No card, no account needed
- Source published under a licence you can read
- Runs on your machine — nothing of it reaches our gateway
- Nothing to cap, because nothing bills
What counts against your monthly calls
| Tool | Unit | Calls used | Out of the allowance |
|---|
Nothing here is billable. gonzalgo costs nothing to install and nothing to call, at any volume.
Call allowance · this installenforced at the gateway
Monthly allowance, in calls
—
—
Alert at 80% · then the tool returns a normal MCP error
Used this month: $8.42
$16.58 left
—Grade not published
No rule-by-rule report on file for this release
Two independent axes, because powerful and malicious are different questions. The grade is threat only. The capability level is blast radius, and it is never a penalty on the grade — it is priced as one subtract-only term in the score, where you can see it.
This release has not been scanned, so it carries no grade and there is no rule-by-rule report to show. One appears here as soon as the scanner has read this version. Nothing on this tab is ever borrowed from another listing.
Release history
Pinned to 0.5.5 — the install command below asks for that release. A pin is part of an install, so it is kept for this visit and written down when you install.
0.5.5
24 Aug 2026
installedNo release note was published with this version.
0.5.2
undated
- The version this listing was on when mcprush began following its releases. The registry was not asked when it shipped, so this row carries no date.
—
no reviews yet
Reviews are earned
One review per account, from a signed-in account that does not publish this listing. Nothing else is asked — you can say what you think before you install it. Publishers can reply once per review, and a review can be edited or deleted by whoever wrote it.
Reviews are earned
Writing one takes an account with at least 50 real tool calls against gonzalgo in the last 90 days. That is the whole gate — there is no other way to post, which is why the counts beside each review are worth reading.
No reviews yet
Nobody has reviewed this listing. The rating on the card is the mean of the reviews written here and nothing else, so there is no rating until somebody writes the first — which takes an account with 50 real tool calls against it.