aethelgard-ai

Aethelgard Python SDK

Enterprise AI Compliance & Fairness Verification — Formal Proofs, Not Statistical Guesses.

Aethelgard is the only AI governance engine that uses Z3 SMT formal verification to mathematically prove fairness compliance — not merely estimate it statistically. This SDK provides a Python client for the Aethelgard Engine API.

Why Aethelgard?

Installation

pip install aethelgard-ai

For benchmarking utilities:

pip install aethelgard-ai[benchmarks]

Quick Start

from aethelgard import AethelgardClient

client = AethelgardClient(
    base_url="http://localhost:8080",
    api_key="your-api-key",
)

# Run a bias audit (NYC LL144 / EEOC Four-Fifths Rule)
result = client.audit_ll144(
    model_name="hiring-model-v2",
    groups=[
        {"category": {"category_type": "Race", "value": "White"}, "total_candidates": 1000, "selected_candidates": 600},
        {"category": {"category_type": "Race", "value": "Black"}, "total_candidates": 800, "selected_candidates": 440},
        {"category": {"category_type": "Race", "value": "Hispanic"}, "total_candidates": 600, "selected_candidates": 300},
    ],
)

for group in result["group_results"]:
    print(f"{group['group']:20s}  IR={group['impact_ratio']:.4f}  Z3={group['z3_verified']}")

Supported Regulations

Key Features

Formal Verification (Z3 SMT Proofs)

Every audit produces machine-checkable mathematical proofs — not statistical estimates.

Intersectional Analysis

Automatically discovers and tests all combinatorial demographic intersections.

Multi-Regulation Crosswalk

Map compliance findings across frameworks (e.g., LL144 → EU AI Act → NIST AI RMF).

Zero-Knowledge Proofs

Prove fairness compliance without revealing model weights or training data.

Continuous Monitoring

Real-time drift detection with confidence-weighted alerts and breach forecasting.

API Reference

See the full documentation.

Benchmarks

Reproducible benchmarks comparing Aethelgard to Fairlearn, AIF360, and manual auditing across 10 real-world datasets (40K+ to 2.5M+ records):

pip install aethelgard-ai[benchmarks]
python -m aethelgard.benchmarks

Citation

@software{aethelgard2026,
  author = {Ashuraliyev, Abduxoliq},
  title = {Aethelgard: Formal Verification for AI Fairness Compliance},
  year = {2026},
  url = {https://github.com/ProgrmerJack/Aethelgard},
}

License

Apache License 2.0. See LICENSE.