vvuq-client 0.1.3

Official Client SDK for the VVUQ Verification API

VVUQ Client SDK

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

Installation

pip install vvuq-client

Usage

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: [e-mail]

Configuration

To use the production API, set your environment variables:

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:

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