io.github.zengineco/gonzalgo

pkg:pypi:gonzalgo

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

transport:
stdio
credential class:
not-probed
repo:
https://github.com/zengineco/gonzalgo

Owner verification

Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.

Start verification →

Tools

Embed this server’s score

Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.

Vouch score: io.github.zengineco/gonzalgo
[![Vouch score](https://vouch.tools/api/servers/d5931133-9313-4ddc-8888-c700d5bbeb6f/badge.svg)](https://vouch.tools/servers/d5931133-9313-4ddc-8888-c700d5bbeb6f)
io.github.zengineco/gonzalgo — Vouch