MCPVault / Compare servers
Compare servers
Choose up to three servers. Compare what they do, how to connect and what has actually been checked.
| Compare servers | Gonzalgo |
|---|---|
| Purpose | Axiom provenance for Lean 4 and Metamath — which step introduced an axiom, and whether the theorem statement required it Website: https://f-keys.com/gonzalgo/ |
| Authentication (maintainer declared) | Unknown |
| Public launch command | Project-specific setup |
| Configuration source | Public install instructions |
| Observed tools | Unknown |
| Last complete tool check | Unknown |
| License | Apache-2.0 |
| Open setup |