gonzalgo runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 11 Sep 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, 18 h ago · rules 3dff92dd89df
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 wayChecks the context files a coding agent reads against the git index, and reports what drifted.
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.
Competitor Meta ads intelligence reports. List plans, create orders, Stripe checkout for humans.
Use Llama AI Chat to test Meta Llama 4 Maverick on code review, long PDFs, and screenshots.
Stateless TS/JS compiler facts for agents: references, imports, impact. No repo index or OAuth.
MCP security trust layer: scan packages, inspect repos, check exposure, monitor changes.
MCP server for the GitHub REST API: issues, PRs, repos; read always on, write env-gated.
gonzalgo — questions
Answers built from our own checks of this server.