documentation

Correctness infrastructure for the agentic era.

for ai agents

Connect your agent over MCP to search, fetch, and cite every page on this site — each result carries a build hash, so citations point at an exact, reproducible build. Public, read-only, no API key.

Connect your agent

kli

kli is a radically extensible coding agent you rewrite while it runs.

Learn Extend Reference

Get started

libraries

cairn

cairn is a durable task graph your agent plans in and resumes into, keeping the plan outside the conversation so a context reset reloads it.

LearnReference

metaBuilder

Typed builder DSL built on nix-effects descriptions and internalized programs.

ManualTheoryExamples

nix-effects

Pure Nix effects, typed validation, verified boundaries, and description-backed DSLs.

ManualExamplesAPI Reference