provably-sdk

Python SDK for the Provably API: OAuth browser sign-in, sandboxes, middlewares, databases, collections, preprocessing, queries and proofs.

pip install provably-sdk

Configure

The SDK reads nothing from the environment or disk. Tell it where the API is, which organisation to act for and where to keep the session:

import uuid

import provably
from provably import MemoryTokenStore, ProvablyConfig

provably.configure(
    config=ProvablyConfig(org_id=uuid.UUID("...")),  # api_url / app_url default to production
    tokens=MemoryTokenStore(),
)

• config may be a callable, read whenever a client is built, for apps whose settings change at runtime. It must not raise before sign-in; leave org_id unset and org-scoped calls raise ProvablyConfigError.
• tokens is any object with load(), save(tokens) and clear_refresh_token() (see provably.TokenStore). Rotated tokens are written back to it, together with the OAuth client they were issued to.
• egress is an optional context manager every HTTP call runs inside, for apps that intercept their own outbound traffic.

Sign in

Each app signs in as its own registered OAuth client, on its own loopback port:

tokens = await provably.browser_login(client_id="my-app", port=8911)
store.save(tokens)

Use

from provably.service import service

sandbox = await service.get_sandbox()
query_id = await service.run_query(middleware_id, collection_id, "SELECT 1")
await service.wait_for_proof_computation(query_id)

Development

uv sync --extra dev
uv run pytest
uv run ruff check . && uv run ruff format --check .
uv run mypy