A universal, atomic library of mathematics and tools for agents to compose them.