Skip to Content
Getting started

Getting started

This path gets a Kora program running in three minutes. It uses the deterministic core, so no API key, model, or extra dependency is required.

Kora is pre-alpha. Use this guide to evaluate the language, not to deploy a production workload.

1. Install Kora

Choose one:

brew tap ImAbhishekTomar/tap brew install imabhishektomar/tap/kora
npm install -g @abhishektomar/kora-cli

Or follow the complete Installation guide for release archives and source builds.

See Install Kora for release archives, source builds, and the VS Code extension.

2. Write a small program

Create hello.ko:

type User: name: str def greet(user: User) -> str: return f"Hello, {user.name}!" def main(): ada = User("Ada") print(greet(ada))

This program uses only a type, a function, a value, and print. It does not call a model or read a file.

3. Check, then run

kora --version kora check hello.ko kora run hello.ko

Expected output:

Hello, Ada!

Try a policy workflow

The repository includes a salary review workflow with a classified field, scoped declassification, model outcomes, budgets, parallel work, and a committed replay cassette:

kora check examples/03_salary_review.ko kora run --replay examples/03_salary_review.ko

Where to go next

Use VS Code

Install Kora Language from the VS Code Marketplace .

Open a .ko file. You get syntax colors, file icons, diagnostics, completion, hover, go-to-definition, and run/test commands. Set kora.serverPath if the CLI is not on your PATH.

Last updated on