trybObserved MCP server
io.github.zengineco/gonzalgo
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.
Security score
—/100
Awaiting a completed comparable scan.
Seven-category assessment pending: authentication, tool poisoning, prompt injection, dangerous capabilities, dependency risk, data exfiltration, and transport security.
Score history
Pending
Immutable methodology-versioned snapshots
Schema drift
Pending
No normalized tool schema observed
Fingerprint
Pending
Repository/package-backed identity
Public findings
No public findings recorded
This is not a safety claim. Check the coverage and revision status before relying on absence of findings.