Research Infrastructure for Verified Knowledge
Revealing structure for deeper insight
We build tools that reveal the structure of complex knowledge systems, from formalized mathematics to software supply chains.
Products
ProofGraph: An open-source platform applying network science and spectral graph theory to formalized mathematics. Analyze the structure of 250,000+ verified theorems. Research at proofgraph.org. Open-source core on GitHub. Hosted API coming soon at proofgraph.com.
The same graph-theoretic methods extend to any domain with dependency structure, including software supply chains and educational prerequisite systems.
The same graph-theoretic methods extend to any domain with dependency structure, including software supply chains and educational prerequisite systems.
Consulting
We also offer cybersecurity consulting for organizations that need IAM, cloud security, or compliance expertise.