Platform Developers Tools Testnet Community
Tool Sections Infinite Sandbox ZK Proofs TEE Attestation Wallets & Signing Smart Contracts Developer Tools CLI VS Code Seal Verifier Local Devnet SDKs Framework Integrations Open Source

Developer Ecosystem

Tools & Ecosystem

Everything you need to develop, test, and deploy verifiable AI applications on the Aethelred network with repeatable workflows. Move from local simulation to audited deployment using tooling designed for production reliability and developer velocity, then hand off cleanly into the developer documentation, the testnet readiness guide, and the community contribution flow.

Aethelred CLI Sovereign Copilot Seal Verifier Local Devnet

CLI + Local Devnet

Ship faster with repeatable local network workflows and diagnostics.

Sovereign Copilot

Integrated compliance signals, cost estimation, and attestation-aware linting.

Open Source by Default

Core protocol, SDKs, extension, and AIPs available under Apache 2.0.

Developer Tools

A complete workflow surface for builders

The current Aethelred site already documents four core workflow surfaces: command-line automation, editor assistance, attestation verification, and a full local devnet. This section consolidates them into a clearer decision layer before the deeper product sections below.

>_

Command Line

Aethelred CLI

The aeth CLI handles network configuration, wallet management, job submission, seal verification, validator inspection, and diagnostics from a single interface.

Best For

Operators and application teams that need repeatable local and testnet workflows without building custom scripts first.

Core Actions

config, wallet, pouw submit-job, seal verify, and diagnostics doctor.

Wallets Jobs Seals Diagnostics
IDE

Editor Workflow

Sovereign Copilot

The VS Code extension adds compliance linting, cost estimation, code lens overlays, a live status bar, Helix DSL support, and TEE simulator controls directly in the editor.

Best For

Teams building Python, Rust, TypeScript, JavaScript, and Helix-based workflows that want immediate feedback during implementation.

Core Capabilities

Compliance review, inline metadata, governance-aware hints, and enclave simulation without leaving the coding surface.

Compliance Code Lens TEE Simulator Helix DSL
TEE

Attestation

Seal Verifier

The verifier workflow checks enclave quotes, signature trust chains, measurement matching, and returned seal metadata so teams can validate that a job really executed inside the expected secure environment.

Best For

Security reviews, release validation, and support workflows that need a fast attestation check against trusted enclave roots.

Verification Path

Paste quote, verify signature chain, confirm measurement against model context, then inspect returned seal state and timestamps.

Quote Input Root Trust Measurement Match Seal Metadata
DEV

Network Simulation

Local Devnet

The local environment provides a full PoUW development stack with validators, faucet flows, explorer access, and pre-funded accounts so application teams can run realistic integration tests before public network rollout.

Best For

Contract development, SDK integration testing, and end-to-end staging flows that need deterministic local feedback loops.

What Ships Locally

Four validators, a faucet, explorer tooling, test accounts, and CLI-driven lifecycle commands for boot, status, and logs.

Docker Compose 4 Validators Explorer Faucet

Command Line

Aethelred CLI

The command-line interface for interacting with the Aethelred network and local development stack.

installation
# macOS
brew install AethelredFoundation/tap/aeth

# from source
cargo install aeth

# verify installation
aeth --version

Common commands for network interaction and local development.

aeth config set --network testnet

Configure network

aeth wallet create --name mykey

Create wallet

aeth bank balance --address aeth1abc...

Check balance

aeth pouw submit-job --model-hash abc123 --input ./prompt.json --verification-type hybrid

Submit job

aeth seal verify --seal-id <id>

Verify seal

aeth validator list

List validators

aeth status

Network status

aeth local up / down

Start or stop local devnet

aeth diagnostics doctor

Run diagnostics

Editor Integration

Aethelred Sovereign Copilot

Real-time compliance linting and developer assistance in VS Code.

Compliance Linting

Real-time sovereignty checks across GDPR, HIPAA, UAE-DPL, and PIPL patterns.

Cost Estimation

Hover over @sovereign decorators to inspect AETHEL cost and hardware requirements.

Code Lens

Inline status for compliance, jurisdiction mapping, and attestation state.

Status Bar

Current jurisdiction, violation count, and network context at all times.

Helix Language Support

Syntax highlighting for sovereign functions, ZK operations, and TEE directives.

TEE Simulator

Boot SGX, TDX, SEV, and Nitro simulation workflows from the editor.

Python Rust TypeScript JavaScript Helix DSL
Install from VS Code Marketplace
sovereign_model.py
from aethelred.integrations import VerificationRecorder, wrap_pytorch_model

class RiskModel:
    def __call__(self, features):
        score = sum(features) / max(len(features), 1)
        return {"score": score, "decision": "approve" if score < 0.7 else "review"}

def sink(envelope):
    print(f"{envelope.framework}:{envelope.operation} {envelope.output_hash[:12]}...")

recorder = VerificationRecorder(sink=sink, default_metadata={"service": "risk-api"})
model = wrap_pytorch_model(RiskModel(), recorder=recorder, component_name="RiskScorerV1")
print(model([0.12, 0.40, 0.20]))

Attestation

Seal Verifier

Verify that an AI job was executed securely inside a trusted execution environment.

Mock output for frontend preview. Production should call attestation APIs.

1. Paste Quote

Paste enclave attestation quote from job output.

2. Verify Signature

Validate SGX/Nitro signature chain against trusted roots.

3. Match Measurement

Ensure enclave measurement matches the model hash on-chain.

4. Return Status

Receive verification state, seal metadata, timestamp, and validator set.

Development

Local development environment

Spin up a full Aethelred devnet locally with Docker Compose or CLI workflows.

local devnet setup
# Clone repository
git clone https://github.com/AethelredFoundation/aethelred.git
cd aethelred

# Start local devnet
docker compose -f tools/devnet/docker-compose.yml up -d

# Or use CLI
aeth local up
aeth local status
aeth local logs

4-Node Validator Set

Full PoUW consensus simulation with local validators.

Local Faucet

On-demand test token issuance during development.

Block Explorer

Inspect blocks, transactions, and digital seals locally.

Test Accounts

Pre-funded accounts ready for integration and E2E testing.

Libraries

Official SDKs

The current site documents four official SDKs with a common client surface for jobs, seals, models, validators, and verification utilities. This section expands those libraries into package-level guidance, install paths, and best-fit usage patterns.

pip package

Python SDK

pip install aethelred-sdk
Name aethelred-sdk
Version 1.0.0
License Apache-2.0

Python 3.9+, async client flows, sovereign decorators, and optional integration extras for recorder-backed model-serving pipelines.

Best For

Inference APIs, notebook workflows, and orchestration layers that need proof capture without changing the application model.

Includes

jobs, seals, models, validators, and framework wrappers via aethelred.integrations.

Async Workflows PyTorch LangChain Hugging Face

npm package

TypeScript SDK

npm install @aethelred/sdk
Name @aethelred/sdk
Version 1.0.0
License Apache-2.0

TypeScript-first APIs for Node.js 18+ and browser environments with typed client methods for jobs, seals, and network operations.

Best For

Web applications, dashboards, serverless functions, and browser-based tools that need strongly typed integration surfaces.

Includes

AethelredClient, completion polling, seal verification, and consistent access to the shared SDK module surface.

Typed APIs Browser Node.js Completion Polling

cargo crate

Rust SDK

cargo add aethelred-sdk
Name aethelred-sdk
Version 1.0.0
License Apache-2.0

Rust 1.75+ interfaces for services and system components with async client flows, verification helpers, and wasm-oriented ambitions.

Best For

Performance-sensitive workers, validator-side services, and backend components that need predictable async verification flows.

Includes

SubmitJobRequest, completion polling, seal listing, seal verification, and the same core module model used across other SDKs.

Async Systems Verification WASM Goals

go module

Go SDK

go get github.com/aethelred/sdk-go
Name github.com/aethelred/sdk-go
Version 1.0.0
License Apache-2.0

Idiomatic Go 1.21+ client interfaces for backend services, automation workers, and infrastructure integrations that rely on context-aware calls.

Best For

Operational tooling, microservices, and platform-side integrations that need clean concurrency and explicit context propagation.

Includes

Context-first interfaces across jobs, seals, and verification flows with the same cross-language client parity documented in the developer portal.

Context Services Tooling Infrastructure
official sdk installation
# Python
pip install aethelred-sdk

# TypeScript
npm install @aethelred/sdk

# Rust
cargo add aethelred-sdk

# Go
go get github.com/aethelred/sdk-go

Framework Integrations

Connect existing AI stacks without rebuilding them

The current repo implements native verification surfaces for PyTorch, TensorFlow, Hugging Face, LangChain, FastAPI, Next.js, Docker delivery templates, and Kubernetes Helm deployment profiles. Each surface follows the same envelope contract so teams can attach proof capture without forking application logic.

Model Runtime

PyTorch

Wrap torch.nn.Module-style callables and emit verification envelopes on forward calls without changing the caller contract.

Entry Point
wrap_pytorch_model(model, recorder=..., component_name=...)
Typical Use

Batch inference services, scoring pipelines, and GPU-backed model endpoints that need deterministic output hashing and metadata capture.

VerificationRecorder Model Wrapper Output Hashing

Keras Callback

TensorFlow

Attach verification to Keras-compatible training and prediction flows through a callback factory that degrades safely when TensorFlow is unavailable.

Entry Point
create_keras_callback(recorder=..., capture_batch_events=...)
Typical Use

Training pipelines, evaluation jobs, and epoch-level audit trails for TensorFlow or Keras workloads.

Keras Callback Factory Epoch Events

Pipeline Runtime

Hugging Face

Use wrap_transformers_pipeline to preserve the standard transformers pipeline interface while attaching proof capture and component-level identity.

Entry Point
wrap_transformers_pipeline(pipeline, recorder=..., component_name=...)
Typical Use

Classification, moderation, and generation services built on transformers.pipeline with verified metadata capture.

Pipeline Wrapper Component Identity Verified Inference

Orchestration

LangChain

Wrap chains and runnables so invoke, ainvoke, batch, and abatch all emit proof-aware telemetry.

Entry Point
wrap_langchain_runnable(runnable, recorder=..., component_name=...)
Typical Use

RAG pipelines, chain orchestration, and agent backends that need trace metadata attached to verified execution flows.

Runnable Wrapper Trace Metadata Batch Support

ASGI Middleware

FastAPI

Emit Aethelred verification headers from ASGI responses and record request and response envelopes in the middleware path.

Entry Point
app.add_middleware(AethelredVerificationMiddleware, recorder=...)
Typical Use

Verification APIs, Python inference gateways, and service layers that need proof headers on every response.

ASGI Response Headers Envelope Capture

API Handlers

Next.js

Wrap Pages Router handlers and App Router route handlers so responses ship with verification metadata without custom response plumbing.

Entry Point
withAethelredApiRoute(handler, options?) withAethelredRouteHandler(handler, options?)
Typical Use

TypeScript API routes, serverless handlers, and application endpoints that need verification headers and response hashing.

Pages Router App Router Verification Headers

Delivery Templates

Docker

Use the official image templates and compose stacks to package FastAPI and Next.js verification surfaces into reproducible runtime environments.

Entry Point
docker build -f integrations/deploy/docker/Dockerfile.fastapi-verifier ... docker compose -f integrations/deploy/docker/docker-compose.verification-stack.yml up --build
Typical Use

Local stacks, CI smoke environments, and reproducible integration testing for verification-aware services.

Image Templates Compose Stack Local Devnet

Helm Deployment

Kubernetes

Deploy verification gateways through the Helm chart that packages app containers, config, service objects, ingress, HPA, and an optional verifier sidecar.

Entry Point
helm upgrade --install verifier-fastapi deploy/helm/aethelred-verification-gateway -f deploy/helm/aethelred-verification-gateway/values/fastapi.yaml helm upgrade --install verifier-nextjs deploy/helm/aethelred-verification-gateway -f deploy/helm/aethelred-verification-gateway/values/nextjs.yaml
Typical Use

Clustered API deployments, autoscaled verification gateways, and platform-managed rollout environments.

Helm Chart Ingress Optional Sidecar
framework wrappers
from aethelred.integrations import (
    AethelredVerificationMiddleware,
    VerificationRecorder,
    create_keras_callback,
    wrap_langchain_runnable,
    wrap_pytorch_model,
    wrap_transformers_pipeline,
)

recorder = VerificationRecorder()
keras_callback = create_keras_callback(recorder=recorder)