Not measured4 / 6 checks passed
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
- Updated recently
Not checked yet
zenginecoVerified
io.github.zengineco
The registry namespace is a GitHub login.
Explore
Evidence for your next connection.
Independent measurements of remote MCP servers. Every observation has a timestamp.
Read-only probesio.github.zengineco
The registry namespace is a GitHub login.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Not checked yet