A verifier-first programming language for bounded components.

AIR is a compact language and CLI for deterministic components, including logic authored with AI assistance. A module declares its permitted surface before a host composes it.

What AIR checks

AIR verifies declared imports, emits, capabilities, effects, bounded execution, deterministic semantics, package evidence, and replay or conformance surfaces where available. It helps reviewers inspect an explicit component boundary instead of trusting generated code as an authority.

What the host keeps

AIR does not own filesystem access, networking, credentials, user interfaces, rendering, assets, hardware, device permissions, or model-provider calls. The host supplies explicit contracts, rechecks live state, and performs any allowed effect.

Current release status

The published public package is @underskys/[email protected]. The 0.51.0-alpha typed-decisions work is a candidate: existing AIR ABI 0.10 and 0.11 remain supported, while candidate ABI 0.12 is disabled by default and requires explicit opt-in.

Start with AIR

Install the public package, verify a small .air module, then attach it to a host that owns the real platform effects.

npm install -g @underskys/air-core@alpha
airc verify module.air

Source and documentation on GitLab · AIR on npm