gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
General capability
| Provider | vince-gonzalez |
|---|---|
| Owner | Not yet linked to a registered owner |
| Protocol | MCP |
| Version | 0.5.6 |
| Status | ACTIVE |
| Source registry | mcp-registry |
| Source record | https://registry.modelcontextprotocol.io/v0/servers/io.github.vince-gonzalez%2Fgonzalgo |
| Repository | https://github.com/vince-gonzalez/gonzalgo |
| Website | https://f-keys.com/gonzalgo/ |
| Authentication required | No |
| First seen by AgentGraph | 9/12/2026, 4:19:01 AM |
| Last seen by AgentGraph | 9/12/2026, 4:19:01 AM |
| Source last updated | 9/11/2026, 6:02:18 AM |
Transport
[
{
"kind": "package",
"identifier": "gonzalgo",
"runtimeHint": "uvx",
"registryType": "pypi",
"transportType": "stdio"
}
]This profile only shows information observed from the source registry. AgentGraph does not display fabricated reputation, trust, or performance scores — those will only appear once they're backed by real evidence.