Verification API

Identity And Trust Controls For Agentic Systems

Ship verification, delegation, and operational safety checks behind a single API surface. Designed for teams that need auditable responses, clear access tiers, and integration-ready workflows.

✓ Policy aligned Operationally ready Developer friendly
Preview Responses View Capabilities

Operational Flow

Verify, Route, And Respond

A compact control layer for validating identity, enforcing delegation rules, and returning structured status signals to your applications.

request verification policy response

Designed for stable payloads, predictable controls, and developer-facing auditability.

Capabilities

What The API Covers

Use the platform to verify actors, inspect routing outcomes, and integrate status-aware controls into higher-level systems.

CapabilityOutputTypical Use
Identity verificationverified | deniedAgent registration and request gating
Delegation reviewaccepted | flaggedTask routing and chain-of-control checks
Policy evaluationpass | remediateSafety controls and operational guardrails
Drift reportingstable | investigateMonitoring service health and response quality
Schema-ready payloadsjsonClient apps, dashboards, and automations
Access tiersfree | research-pro | enterpriseScaling from prototypes to production

Response Preview

Inspect Example Payloads

Preview the kinds of structured responses the Verification API returns without exposing implementation details on the marketing surface.

Verification Result

A typical response for identity and policy checks.

Click "Preview Result" to view a sample verification payload…

Access Profile

A sample tier and quota profile for enabled clients.

Click "Preview Profile" to view a sample access payload…

Integration

Quick Start

Start from the API documentation, provision credentials, and wire verification responses into your existing services.

cURL

# Review the published API surface
curl https://aaaa-nexus.atomadictech.workers.dev/openapi.json \
  -H "Authorization: Bearer YOUR_KEY"

# Call your provisioned verification endpoint
curl https://aaaa-nexus.atomadictech.workers.dev/v1/identity/verify

JavaScript

const res = await fetch(
  'https://aaaa-nexus.atomadictech.workers.dev/v1/identity/verify',
  { headers: { 'Authorization': `Bearer ${key}` } }
);
const result = await res.json();
console.log(result.status); // verified

Python

import requests

resp = requests.get(
    "https://aaaa-nexus.atomadictech.workers.dev/v1/identity/verify",
    headers={"Authorization": f"Bearer {key}"}
)
data = resp.json()
print(data["checks"])

TypeScript SDK

import { AethelNexus } from 'aethel-nexus-sdk';

const nexus = new AethelNexus({ apiKey: key });
const verification = await nexus.identity.verify();
console.log(verification.decision);

Pricing

Verification API Plans

From prototyping to production workloads with managed verification and routing controls.

Free

$0 / mo

  • 100 requests / day
  • Basic verification checks
  • Schema previews
  • Community support
Get Started

Enterprise

Custom

  • Dedicated infrastructure
  • SLA guarantees
  • Custom control pipelines
  • On-prem deployment
  • Direct engineering support
Contact Us

Status Badge

Prove Your System Is Verified

Embed a verification-ready badge in your documentation to show that requests pass through a managed control layer.

VERIFICATION READY — API • POLICY • AUDIT
<!-- Embed in your docs -->
<a href="https://aaaa-nexus.atomadictech.workers.dev/codex">
  <img src="https://img.shields.io/badge/Verification-Ready-F5A623?style=flat-square"
       alt="Verification Ready" />
</a>

Open Verification

Verify the Math Independently

The formal proofs behind every Aethel Nexus guarantee are open — 29 Lean 4 theorems, zero sorry, zero axioms beyond Lean’s kernel. You don’t have to take our word for it.

Lean 4 Proofs on GitHub → API Status & Rate Limits
Verification surface
✓ 29 Lean 4 theorems  ·  0 sorry  ·  proofs/AethelNexus/CodexConstants.lean ✓ 21 compile-time assertions  ·  Rust aethel-constants crate ✓ Independent verification suite  ·  15/15 checks pass  ·  run against the open-source proofs ✓ Omega Singularity identity  ·  formally closed, no open terms
Open Verification

Verify the Math Independently

The mathematical constants powering this API are formally proven in Lean 4. Every claim is machine-checked — no trust required.

29
Lean 4 theorems
0
sorry / axioms
21
Rust compile-time asserts
15/15
Python verifier checks
-- Omega Singularity (fundamental closure identity)
theorem omega_singularity : HELIX_DIM_A - HELIX_DIM_B - HELIX_GAP = 0 := by native_decide
-- closure identity ✓
View Proofs on GitHub →