Evidence should remain inspectable without the platform that published it.
MathGraph is a research-stage project developed by Metalogic Labs. It publishes source-pinned mathematical objects, explicit verification boundaries, portable replay contracts, and unresolved results.
What is available
The current public site contains a 13-module Mathlib source catalogue, two immutable bounded evidence records, offline consumers, advisory discovery output, and one qualified finite capability profile. Source-indexed references support navigation; they are not proof dependencies or independently checked theorems.
Verification remains with the verifier
Native checkers and their declared trust boundaries remain authoritative. A successful historical receipt does not automatically establish current applicability, broader correctness, or permission to act. General hosted verification and continuous requalification are not implemented.
The repository's source is publicly available for inspection. A project-wide open-source license has not been confirmed; third-party material remains subject to its original terms.