gonzalgo runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 3 Oct 2026.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
What the code does
We read the source, 3 d ago · rules 995398eba69f
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
SP = Path(__file__).resolve().parent
exec(open(SP / "dominators.py", encoding="utf-8").read().split("CHECK = {")[0])
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Alternatives to gonzalgo
same job, measured the same wayFree self-check list first, or pay a real person in China to go look and report what they saw.
Checks the context files a coding agent reads against the git index, and reports what drifted.
Which parts of what you want to build open source already covers. Every repo checked live.
Score how completely a target-trial-emulation study reports what the TARGET guideline requires.
Amazon Buy Box price, seller and stock per ASIN, with a monitor mode that reports only changes.
Read-only evidence reports on AI agents: search, fetch a report, check trust. Not a certification.
Competitor Meta ads intelligence reports. List plans, create orders, Stripe checkout for humans.
Check whether a website is trustworthy: trust score, verdict, red flags and a citable report.
gonzalgo — questions
Answers built from our own checks of this server.