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).

Metadata

Release files for theoremdb 0.2.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for theoremdb 0.2.0
File	Size	Uploaded	Provenance	Actions
theoremdb-0.2.0.tar.gz	4.6 kB	Jul 20, 2026	Without provenance	Details for theoremdb-0.2.0.tar.gz

Built distribution (wheel)

Table of built distributions (wheels) for theoremdb 0.2.0
File	Interpreter	ABI	Platform	Actions Reset
theoremdb-0.2.0-py3-none-any.whl 5.9 kB Jul 20, 2026 Without provenance	Python 3	none	any	Details for theoremdb-0.2.0-py3-none-any.whl

Total release size: 10.6 kB

Release files / theoremdb-0.2.0.tar.gz

Download URL	theoremdb-0.2.0.tar.gz
Size	4.6 kB
Tags	Source
SHA-256 checksum How to use checksums	`9436b98052d46283c419ded7e9d2333fa5d682c9f638016a82a0100f6ba42133`
BLAKE2b-256 checksum How to use checksums	`143c9a56462847ddf9e2231ba7edc9c12de0ff02a81dce24ed26cb268f93a25e`
Upload date	Jul 20, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/6.2.0 CPython/3.12.13`

Release files / theoremdb-0.2.0-py3-none-any.whl

Download URL	theoremdb-0.2.0-py3-none-any.whl
Size	5.9 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`d8cfedf661512f00ab9d69187446902601556b160eefac56401b5040eef9c088`
BLAKE2b-256 checksum How to use checksums	`519c12ec309a8017d1851543381b7e21de6b649bce679a849de589dd32d4edc0`
Upload date	Jul 20, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/6.2.0 CPython/3.12.13`

Security for theoremdb 0.2.0

Report project as malware

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

No provenance found

None of the files in this release were uploaded with provenance metadata.

A note on package security

PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.

To learn more about protecting yourself from malicious actors, visit our package security documentation.