public evidence dossier
io.github.zengineco/gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Latest visible observation: 2026-08-30T22:30:41.080Z
Identity
namespacegithub · observed 2026-08-05T21:46:54.731806Z
registry statusactive · observed 2026-08-05T21:46:54.731806Z
origin systemsgithub, registry · observed 2026-08-30T22:30:41.080Z
Distribution
repositoryhttps://github.com/zengineco/gonzalgo · observed 2026-08-07 14:41:42
npm packageUnknown · observed 2026-08-07 14:41:42
PyPI packageUnknown
hosted endpointUnknown
Maintenance and public findings
repository pushedUnknown
repository archivedUnknown · observed 2026-08-07 14:41:42
npm deprecatedUnknown · observed 2026-08-07 14:41:42
OSV package advisoryUnknown · observed 2026-08-07 14:41:42
Hosted liveness
last endpoint observationUnknown
reported MCP revisionUnknown
Limits
This dossier reports public evidence. It is not a safety, code, permission, scope, runtime, or penetration-test verdict. Missing evidence remains unknown.