Official SDKs
Multi-language SDK support for consistent application development across Python, TypeScript, Rust, and Go. Build verifiable AI applications with familiar tools and patterns.
Aethelred provides a developer and operator stack designed for teams building verifiable AI applications rather than generic smart-contract experiences alone.
Multi-language SDK support for consistent application development across Python, TypeScript, Rust, and Go. Build verifiable AI applications with familiar tools and patterns.
Native verification pathways give developers direct access to proof-aware execution patterns. Submit inference jobs, verify proofs on-chain, and earn compute rewards.
Hosted proof demos, local devnet, and operator tooling support the path from concept to production. From first inference to mainnet deployment.
The Aethelred developer experience is designed around a single path: submit an AI job, execute inside an attested enclave, generate a proof, settle on-chain, and issue a Digital Seal. Every tool in the stack supports this workflow.
Purpose-built tooling for teams operating verifiable AI infrastructure in production environments.
VS Code extension for intelligent code completion, verification pattern suggestions, and workflow scaffolding.
Command-line tool for validating Digital Seals, checking proof integrity, and auditing execution evidence.
Full local development network for testing inference jobs, proof generation, and settlement flows before deployment.
Core protocol libraries, SDK implementations, and developer tooling are developed in the open. Review the code, contribute improvements, and build with confidence.