Graspt

Graspt is a wrapper around the Lean theorem prover, powered by a Meta AI Muse agent, that bridges inhuman, rote symbolic math into a more intuitive, higher-level view. It's inspired by how suspiciously isomorphic the structure of computation is between sensorimotor coordination and robotic navigation. This is like heavy machinery for mathematicians, amateurs, enthusiasts, and professionals alike.