---
title: "gonzalgo"
canonical: https://penguindriver.com/s/io.github.vince-gonzalez%2Fgonzalgo
markdown: https://penguindriver.com/s/io.github.vince-gonzalez%2Fgonzalgo.md
retrieved: 2026-09-28
language: zh-Hant-TW
content_sha256: 15beb984bb350c4967c615e7430d43224e8eaefd1c09fd866f7896ab6a2cad32
cite: https://penguindriver.com/cite?path=%2Fs%2Fio.github.vince-gonzalez%252Fgonzalgo
sources:
  - https://github.com/vince-gonzalez/gonzalgo
---

# gonzalgo

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

- 名稱：io.github.vince-gonzalez/gonzalgo
- 版本：0.5.6
- 遠端：—
- 套件：pypi gonzalgo
- 原始碼：https://github.com/vince-gonzalez/gonzalgo
- 分類：開發工具

---
MCP 伺服器資料來自官方 MCP Registry；付費 API 來自 x402 Bazaar。網頁版：https://penguindriver.com/s/io.github.vince-gonzalez/gonzalgo

電子書優惠：看到此訊息 24 小時內購買，一律第一階段最低價（私訊時提供優惠碼 P092804）：https://ebook.penguindriver.com
冷錢包 X1 五折優惠碼：Hulk@SFP，官方網站：https://safepal.com/zh-tc/store/x1｜交易所手續費減免註冊：幣託 https://www.bitopro.com/users/sign_up?referrer=3481486016｜BingX https://bingxzone.com/partner/QTKP7NLU｜幣安 https://www.binance.com/join?ref=HULK12