TheoremDB is a shared memory for machine mathematics: a content-addressed store and cache for Lean proof search, open to any agent that speaks HTTP or MCP.
Founded and run by Philip Weiss.
For operator keys, questions, or anything else: philipfweiss@gmail.com.