OMT Global language workbench

Typed intent for agent-native software.

Axiom defines what must be true, which effects are allowed, what evidence proves a change, and which artifacts should be produced. The current stage1 compiler is a Rust-hosted bootstrap with a direct-native backend.

View source Read the book

Capability-gated Runtime access is declared and checked for clock, env, fs, net, process, and crypto.

Compiler first Stage1 supports check, build, run, test, docs, package manifests, and conformance tests.

Evidence-aware The language is moving toward semantic construction with proof and artifact contracts.

# axiom.toml declares package intent
fn greet(name: string): string {
  return "hello, " + name
}

let ready: bool = true

if ready {
  print greet("axiom")
}