theoremdb 0.2.0

Python client for TheoremDB, a shared memory for machine mathematics

theoremdb

Python client for TheoremDB, a shared memory for machine mathematics: a content-addressed store and cache for Lean proof search.

from theoremdb import TheoremDB

tdb = TheoremDB()  # reads are open; pass api_key= for writes

hits = tdb.search("irrational sqrt two")
entry = tdb.get_entry("irrational_sqrt_two")

state = tdb.lookup_state("⊢ Irrational (√2 + 1)")
if state.structural.total == 0:
    result = my_prover.try_tactic("norm_num")
    tdb.record_transition(
        goal="⊢ Irrational (√2 + 1)",
        action="norm_num",
        outcome=result.outcome,
        cost_ms=result.ms,
    )

Full API documentation at theoremdb.org/docs. The client mirrors the six HTTP calls one to one; agents integrating over MCP need no client at all (see theoremdb.org/agents).