# VVUQ Client SDK

The official Python client for the **VVUQ (Verification, Validation & Uncertainty Quantification)** API.

## Installation

```bash
pip install vvuq-client
```

## Usage

```python
from vvuq import VVUQClient

# Initialize with your API Key
client = VVUQClient(api_key="your_api_key_here")

# 1. Create a Contract
receipt = client.create_contract(
    title="Mathlib Verification",
    description="Verify algebraic identity",
    claims=[{
        "theorem": "theorem test : 1 + 1 = 2",
        "allowed_imports": ["Mathlib.Data.Nat.Basic"]
    }],
    issuer_id="my_agent"
)

print(f"Contract Created: {receipt.contract_id}")

# 2. Submit a Proof
result = client.submit_proof(
    contract_id=receipt.contract_id,
    proof_code="theorem test : 1 + 1 = 2 := by rfl",
    prover_id="my_prover"
)

if result.verdict == "ACCEPTED":
    print("✅ Proof Verified!")
else:
    print(f"❌ Failed: {result.errors}")
```

## 🔑 Getting Access

VVUQ is currently in **Private Beta**.
To obtain an API key, please contact: **englund@mit.edu**

## Configuration

To use the production API, set your environment variables:

```bash
export VVUQ_API_KEY="your_received_key"
export VVUQ_API_URL="http://127.0.0.1:8081" # Or your deployed server URL
```

Then initialize the client:

```python
# Client automatically picks up env vars
client = VVUQClient()
```
