Agents and tools
The agent harness behind this site. The conversation that starts at the desk will open into a Theorem workspace without starting over.
A 3D map of the work, centered on Theorem. Select another project to go there.