# Kotoba

## The Kotoba stack

Safe code. Trusted state. Controlled execution. Kotoba Labs is building toward the default safe and ultra-fast stack for AI-generated software.

- Kotoba: the language — https://kotoba-lang.org/
- Kotobase: content-addressed graph state and knowledge — https://kotobase.net/
- Kotoba Cloud: identity and deploy control for the execution environment — https://kotoba.cloud/

Speed claims apply only to the published workload, artifact, and qualification gates. Safety claims retain their trusted computing base and residual risks. Kotoba Cloud discovery is live; hosted apply is not yet offered.

> Kotoba is a small, Clojure-shaped, security-first language for capability-confined AI-agent programs. Its public compiler emits WebAssembly and denies ambient host authority.

Canonical site: https://kotoba-lang.org/
Public operator: Kotoba Labs Inc. Public contact: support@kotoba-lang.org. Sales contact: Ryo Awai.
Language authority: https://github.com/kotoba-lang/kotoba-lang
Compiler and CLI: https://github.com/kotoba-lang/kotoba

## Agent entry points

- Quick setup and executable verification: https://kotoba-lang.org/agent-quickstart.md
- Expanded model context: https://kotoba-lang.org/llms-full.txt
- CLI reference: https://github.com/kotoba-lang/kotoba-lang/blob/main/docs/generated/cli.md
- Language reference: https://github.com/kotoba-lang/kotoba-lang/blob/main/docs/reference/language.md
- Capability values: https://github.com/kotoba-lang/kotoba-lang/blob/main/docs/lang/capability-values.md
- Safety claims and residual risks: https://github.com/kotoba-lang/kotoba-lang/blob/main/lang/safety-claims.edn
- Reproducible Kotoba/Rust Wasm compile measurement: https://kotoba-lang.org/benchmarks/compile-wasm-latest.json
- Bounded Amu/Rust/C/Zig/Go/Swift native comparison status: https://kotoba-lang.org/benchmarks/runtime-native-latest.json
- String/collection/allocation/I/O/concurrency/real-app observations: https://kotoba-lang.org/benchmarks/domains-latest.json
- 2026-08-30 implementation update: bounded native vector scalar replacement, POSIX NEON/SSE2 checked string equality, root-confined async filesystem capability, bounded structured concurrency, and public Kotoba CLI native KEXE compilation are implemented. These postdate the current domain benchmark and are not yet ranked speed evidence.

## Minimal verification

On macOS or Linux with Homebrew:

```sh
brew tap kotoba-lang/kotoba
brew trust kotoba-lang/kotoba
brew install kotoba
kotoba selfhost check --json
```

Then follow agent-quickstart.md to compile a zero-import Wasm module and execute its exported `main`. Treat a `planned` / `adapter-required` response as a plan, not evidence that code ran.