Every verified code response from Aether is signed Ed25519, canonicalized under RFC 8785, and anchored to Sigstore's transparency log. You can verify the receipt yourself, on your machine, with one command. Non-verifiable output is not billed.
Plenty of products generate AI code. Aether is the only one that hands you a cryptographic receipt proving the code passed five execution gates — on a key you can verify against a public transparency log.
Ed25519 signature over a JCS-canonicalized record of the run. Microsoft AGT (Apr 2026) doesn't ship this. Cursor and Copilot don't either.
Receipts are written to Sigstore Rekor. Even if we vanish tomorrow, the log entry persists and verifies.
Every billable inference produces a portable artifact. Auditors don't need our cooperation to verify them.
If ATLAS can't verify a response (multi-block, non-Python, syntax fail), you don't pay. No tickets, no disputes.
Every request hits ATLAS, a five-gate verifier. If a gate fails, HYDRA-Heal calls a second LLM provider in parallel. If both fail, the response is rejected and refunded.
AST round-trip. No syntactically broken code leaves the gate.
Static analysis for known-bad patterns, unsafe imports, traversal.
nsjail-isolated run with strict syscall filter. No network, no FS escape.
Output schema match. Pydantic strict, extra="forbid". No silent drift.
Re-run same input. Outputs must match. Non-determinism = reject.
Each service exists to enforce a different boundary in the AI execution lifecycle. Same signing key. Same audit surface. Different domain.
OpenAI-compatible coding proxy. Every verified Python response is gated, signed by the AetherProof key, refundable.
api.aetherlang.online/v1/chat/completions
Ed25519 signer + RFC 8785 JCS + Sigstore Rekor anchor. Verifier is open-source; install with pip and check any AetherCode receipt offline.
pip install aetherproof-verify
Formally-verified language for governed AI agents. EU AI Act Annex IV dossier generation. Independent trust root — NOUS manifests sign under their own key; auditors do not need to trust AetherCode's operator.
pip install nous-lang · nous-lang.org
State-transition gateway for autonomous agents. Each transition is receipt-bound and drift-monitored. Not a customer-facing product.
internal · loopback only
Fail-closed monitor backing the AetherCode SLA. Catches silent regressions, triggers refunds, pages the operator before users notice.
internal · runs ahead of customer path
AetherCode signs under f95a45bd…a17e022. NOUS signs under 01f22210…0bc0790. By design — auditors of one product never need to trust the operator of the other.
keys.aetherlang.online · nous-lang.org/keys
Verification is a strong claim. We restrict it to outputs we can prove. Everything outside that scope is refunded automatically — no support ticket required.
If your auditor has ever asked "prove the AI did what you say it did," this is for you.
Annex IV technical documentation requires retained evidence of system behavior. Receipts are portable, signed, and time-stamped.
→ Aug 2026 activationCode that touches order routing or pricing must be reproducible under audit. Determinism gate + receipt = reproducibility proof.
→ MiFID II §16, MARGenerated analysis pipelines need traceability. Each pipeline run signs its own provenance receipt.
→ HIPAA, EU MDRRun code from untrusted models inside the sandbox. Inspect receipts. Refute or confirm gate behavior independently.
→ open verificationNeed to give your engineers AI codegen without your CISO blocking it. Receipts close the trust gap.
→ enterprise pilotProcurement criteria increasingly require attestable behavior. Aether ships the artifact the RFP asks for.
→ tender-readyThree tiers, all served through RapidAPI. NOUS and the AetherProof verifier are free open-source tools — pricing below covers the gated execution API only.
The whole point of cryptographic attestation is that you shouldn't have to trust the issuer. Install our open verifier, fetch our public key from the JWKS endpoint, and check any receipt against the Sigstore log. We do not need to be online for this to work.
# install the open verifier $ pip install aetherproof-verify # verify a receipt you received from any aether endpoint $ aetherproof verify receipt.json \ --jwks https://keys.aetherlang.online \ --rekor https://rekor.sigstore.dev ✓ signature valid ed25519 · f95a45bd…a17e022 ✓ jcs canonical rfc 8785 ✓ rekor anchored log_index 1554376230 ✓ gates passed 5/5 atlas ✓ receipt admissible at signing time
Ed25519. Rotation will be announced 90 days ahead and logged to Rekor.
Static origin, Cloudflare-fronted, immutable per revision. No origin server required for verification.
Receipts are JSON Canonicalized before signing. Bit-identical reproduction across implementations.
Every receipt's signature is anchored to Sigstore. We can't quietly invalidate the past.
Three tiers on RapidAPI. Subscribe in two clicks, receive your API key immediately, start signing receipts. Enterprise terms by email.