The programming language
designed for AI agents

fn safe_divide(a: Int, b: Int) -> Int
    requires { b != 0 }        // precondition — verified by Z3
    ensures  { result != 0 }  // postcondition — guaranteed
{
    return a / b
}

@authored_by(agent: "claude")
@confidence(0.92)
fn process_payment(amount: Int) -> Bool {
    // compiler knows: claude wrote this, 92% confident
    return amount > 0
}

@confidence(0.5)                   // too low!
fn risky() { ... }

error[E0260]: confidence 0.50 below threshold 0.80
  help: add @reviewed_by(human: "...") to compile

fn consume(own s: String) { println(s) }

fn main() {
    let msg: String = "hello"
    consume(msg)      // msg is moved
    // println(msg)   // E0240: use-after-move
}

// No main(), no boilerplate — just declare intent
intent console_app {
    greeting: "Hello from Kōdo!"
}
// Compiler expands to full program at AST level

module payments {
    meta {
        purpose: "Process recurring subscription payments"
        version: "2.1.0"
    }
    // Compiler rejects modules without meta block
}

// kodoc check --json-errors
{ "code": "E0201",
  "message": "undefined type `conter`",
  "suggestion": "did you mean `counter`?",
  "fix_patch": {
    "start_offset": 42,
    "end_offset": 48,
    "replacement": "counter"
  } }

$ kodoc check app.ko --json-errors
2 errors found

$ kodoc fix app.ko
Applied 2 patches:
  - E0201: renamed `conter` → `counter`
  - E0103: added missing `return`

$ kodoc build app.ko -o app
Build succeeded.