Go straight to di content

CONTROLLED EXECUTION

Execution wey dey under control for software wey AI write.

Kotoba Cloud na di entrance for identity and deploy control to di place wey software wey AI write go run. Kotoba na di language. Kotobase na di graph state layer wey you fit trust.

Technical details, legal documents and some account steps still dey for English.

AI agent quickstart

Discovery and Passkey RP dey work now. Hosted apply never dey available.

Three places wey work dey run. Their boundaries still dey.

Di services connect without become one giant trust domain. Each authority still dey separately governed.

CONTROL + IDENTITY

Kotoba Cloud

Passkey dey verify Stable Principal. Di control plane dey publish di topology and authority floor wey CLI deploy dey use.

auth.kotoba.cloud · api.kotoba.cloud

One release CID wey you fit run from different providers

One release CID dey fix di namespace head, definitions, raw Wasm, compile receipts, and reproducibility evidence inside one IPLD graph. Names and GitHub still remain discovery and provenance.

Bundle

Put definitions, Wasm artifacts and compile receipts together under one release CID.

Replicate

Store di same complete closure for no less than two independent storage origins.

Verify + Run

Check every byte and routed peer IDs, then use di release CID and export take run am.

# install and run the live Ed25519 + ML-DSA-65 reference package
kotoba package add kotoba-lang/reference-math@0.1.0 --catalog-cid bafkreidcy5stqvnyfpmud6ozz5qz3supd3r3uzk7glmntuv36ezliaxstm
kotoba package run kotoba-lang/reference-math  # 42

kotoba library inspect <name|CID|#hash> --store .kotoba/codebase --namespace demo

# dry-run by default
kotoba library publish --store .kotoba/codebase --namespace demo --hosted

# replicate one exact release closure
kotoba library publish --store .kotoba/codebase --namespace demo --hosted --dry-run false \
  --pqc-seed-file <ml-dsa-seed> \
  --provider east=https://east.example --provider-token-file <east-token> \
  --provider west=https://west.example --provider-token-file <west-token>

# qualification and execution are release-CID addressed
kotoba library verify ipfs://<release-cid> --store .kotoba/codebase \
  --provider east=https://east.example --provider west=https://west.example
kotoba library run ipfs://<release-cid> --entry answer --store .kotoba/codebase \
  --provider east=https://east.example --provider west=https://west.example

# rotate or revoke the Principal-pinned ML-DSA key; both finish with Passkey
kotoba pq-key rotate --current-pqc-seed-file <current> \
  --next-pqc-seed-file <next> --expected-epoch 1
kotoba pq-key revoke --current-pqc-seed-file <current> --expected-epoch 2

Post-quantum signatures na mandatory, no be optional. Publication need both Passkey session and ML-DSA-65 signature wey pin to di Principal. External authenticators and distributed qualification still dey separately verified boundaries.

Open di library catalog and dependency graph

From AI-written code go admitted computation

Write

Agents and humans dey write freely for readable, data-oriented code.

Admit

Kotoba dey check types, effects, capabilities, resources, and target support.

Bind

Di host and provider dey bind Passkey identity and resource-scoped grant.

Run

Kotobase dey keep artifacts and receipts; Murakumo and Itonami dey perform di admitted work.

kotoba deploy --manifest app.edn --target murakumo:asher
# plan is dry-run by default; apply remains explicit

Boundaries dey make connection possible.

To discover service no mean say you don give am authority

Storage, compute and agent work still get their own separate authority boundaries. Receipt dey record each origin separately. Existing Passkeys no dey move automatically; di new RP need Principal link wey dem don verify.