"author:zengineco" matching MCP servers:

• 

  io.github.zengineco/gonzalgoofficial

  zengineco

  A

  license

  -

  quality

  A

  maintenance

  Enables auditing formal libraries (Lean 4/Mathlib and Metamath) to trace axiom dependencies, find theorems resting on sorry or compiler trust, and analyze the impact of changes.

  Last updated 2026-08-06

  2

  Apache 2.0