A unified library for modern algebraic geometry, built on decades of human scholarship and engineered for the next era of mathematical discovery.