https://docs.kleisli.io/ https://docs.kleisli.io/mcp https://docs.kleisli.io/kli https://docs.kleisli.io/kli/getting-started https://docs.kleisli.io/kli/getting-started/configuration 2026-05-15 https://docs.kleisli.io/kli/getting-started/installation 2026-05-15 https://docs.kleisli.io/kli/getting-started/quick-start 2026-05-15 https://docs.kleisli.io/kli/using-kli https://docs.kleisli.io/kli/using-kli/understanding-patterns 2026-05-15 https://docs.kleisli.io/kli/using-kli/workflow-overview 2026-05-15 https://docs.kleisli.io/kli/using-kli/working-with-tasks 2026-05-15 https://docs.kleisli.io/kli/reference https://docs.kleisli.io/kli/reference/architecture 2026-05-15 https://docs.kleisli.io/kli/commands https://docs.kleisli.io/kli/commands/create-task 2026-04-01 https://docs.kleisli.io/kli/commands/handoff 2026-04-01 https://docs.kleisli.io/kli/commands/implement 2026-06-10 https://docs.kleisli.io/kli/commands/iterate_plan 2026-04-01 https://docs.kleisli.io/kli/commands/plan 2026-04-01 https://docs.kleisli.io/kli/commands/reflect 2026-04-01 https://docs.kleisli.io/kli/commands/research 2026-04-01 https://docs.kleisli.io/kli/commands/resume_handoff 2026-04-01 https://docs.kleisli.io/kli/commands/resume-task 2026-04-01 https://docs.kleisli.io/kli/commands/validate 2026-04-01 https://docs.kleisli.io/kli/workflows https://docs.kleisli.io/kli/workflows/implementation 2026-06-10 https://docs.kleisli.io/kli/workflows/planning 2026-06-10 https://docs.kleisli.io/kli/workflows/reflection 2026-04-01 https://docs.kleisli.io/kli/workflows/research 2026-06-10 https://docs.kleisli.io/kli/workflows/team 2026-04-01 https://docs.kleisli.io/kli/workflows/using-cli 2026-04-01 https://docs.kleisli.io/kli/workflows/workflow 2026-04-01 https://docs.kleisli.io/kli/agents https://docs.kleisli.io/kli/agents/codebase-analyzer 2026-04-01 https://docs.kleisli.io/kli/agents/codebase-locator 2026-04-01 https://docs.kleisli.io/kli/agents/curator 2026-04-02 https://docs.kleisli.io/kli/agents/graph-analyst 2026-04-01 https://docs.kleisli.io/kli/agents/pattern-finder 2026-04-01 https://docs.kleisli.io/kli/agents/reflector 2026-04-02 https://docs.kleisli.io/kli/hooks https://docs.kleisli.io/kli/hooks/file-conflict 2026-04-01 https://docs.kleisli.io/kli/hooks/session-leave 2026-04-01 https://docs.kleisli.io/kli/hooks/session-start 2026-04-01 https://docs.kleisli.io/kli/hooks/session-task-write 2026-04-16 https://docs.kleisli.io/kli/hooks/task-complete-reflect 2026-04-01 https://docs.kleisli.io/kli/hooks/tool-call 2026-04-01 https://docs.kleisli.io/metaBuilder https://docs.kleisli.io/metaBuilder/manual https://docs.kleisli.io/metaBuilder/manual/introduction https://docs.kleisli.io/metaBuilder/manual/getting-started https://docs.kleisli.io/metaBuilder/manual/builder-specs https://docs.kleisli.io/metaBuilder/manual/operations https://docs.kleisli.io/metaBuilder/manual/programs-and-views https://docs.kleisli.io/metaBuilder/manual/designing-builder-surfaces https://docs.kleisli.io/metaBuilder/manual/outputs-evidence-runtime https://docs.kleisli.io/metaBuilder/manual/materialization-model https://docs.kleisli.io/metaBuilder/manual/authoring-production-builders https://docs.kleisli.io/metaBuilder/theory https://docs.kleisli.io/metaBuilder/theory/builders-as-descriptions https://docs.kleisli.io/metaBuilder/theory/internalized-programs https://docs.kleisli.io/metaBuilder/theory/ornaments-and-domain-surfaces https://docs.kleisli.io/metaBuilder/theory/interpretation-and-views https://docs.kleisli.io/metaBuilder/theory/evidence-descriptors-runtime https://docs.kleisli.io/metaBuilder/examples https://docs.kleisli.io/metaBuilder/examples/node-service https://docs.kleisli.io/metaBuilder/examples/node-service/source https://docs.kleisli.io/metaBuilder/examples/node-service/source/builder.nix https://docs.kleisli.io/metaBuilder/examples/node-service/source/server.js https://docs.kleisli.io/metaBuilder/examples/c-codegen https://docs.kleisli.io/metaBuilder/examples/c-codegen/source https://docs.kleisli.io/metaBuilder/examples/c-codegen/source/builder.nix https://docs.kleisli.io/metaBuilder/examples/c-codegen/source/messages.def https://docs.kleisli.io/metaBuilder/examples/c-codegen/source/main.c https://docs.kleisli.io/metaBuilder/examples/bridge https://docs.kleisli.io/metaBuilder/examples/bridge/source https://docs.kleisli.io/metaBuilder/examples/bridge/source/bridge.nix https://docs.kleisli.io/metaBuilder/examples/idl https://docs.kleisli.io/metaBuilder/examples/idl/source https://docs.kleisli.io/metaBuilder/examples/idl/source/builder.nix https://docs.kleisli.io/metaBuilder/examples/idl/source/schema.proto https://docs.kleisli.io/metaBuilder/examples/oci-image https://docs.kleisli.io/metaBuilder/examples/oci-image/source https://docs.kleisli.io/metaBuilder/examples/oci-image/source/builder.nix https://docs.kleisli.io/metaBuilder/core-api https://docs.kleisli.io/metaBuilder/core-api/descriptions https://docs.kleisli.io/metaBuilder/core-api/operations https://docs.kleisli.io/metaBuilder/program https://docs.kleisli.io/metaBuilder/program/validate https://docs.kleisli.io/metaBuilder/program/deps https://docs.kleisli.io/metaBuilder/program/dry-run https://docs.kleisli.io/metaBuilder/program/plan-view https://docs.kleisli.io/metaBuilder/program/describe https://docs.kleisli.io/metaBuilder/program/introspect https://docs.kleisli.io/metaBuilder/program/materialize https://docs.kleisli.io/metaBuilder/program/backends https://docs.kleisli.io/metaBuilder/program/former https://docs.kleisli.io/metaBuilder/program/plan-export https://docs.kleisli.io/metaBuilder/reference https://docs.kleisli.io/metaBuilder/reference/schemas https://docs.kleisli.io/metaBuilder/reference/datatypes https://docs.kleisli.io/metaBuilder/ornaments https://docs.kleisli.io/metaBuilder/ornaments/project-builder https://docs.kleisli.io/metaBuilder/ornaments/dependencies https://docs.kleisli.io/metaBuilder/ornaments/implementations https://docs.kleisli.io/metaBuilder/ornaments/toolEnv https://docs.kleisli.io/metaBuilder/ornaments/testing https://docs.kleisli.io/metaBuilder/ornaments/vendoring https://docs.kleisli.io/metaBuilder/ornaments/code-gen https://docs.kleisli.io/metaBuilder/ornaments/idl https://docs.kleisli.io/metaBuilder/ornaments/capabilities https://docs.kleisli.io/metaBuilder/ornaments/protocol https://docs.kleisli.io/metaBuilder/ornaments/service https://docs.kleisli.io/metaBuilder/ornaments/replServer https://docs.kleisli.io/metaBuilder/ornaments/sandbox https://docs.kleisli.io/metaBuilder/ornaments/transform https://docs.kleisli.io/metaBuilder/ornaments/oci-image https://docs.kleisli.io/metaBuilder/lib https://docs.kleisli.io/metaBuilder/lib/tool-env https://docs.kleisli.io/metaBuilder/lib/toolchain https://docs.kleisli.io/metaBuilder/lib/passthru https://docs.kleisli.io/metaBuilder/lib/bundled https://docs.kleisli.io/metaBuilder/lib/dashboard https://docs.kleisli.io/metaBuilder/lib/contentAddress https://docs.kleisli.io/metaBuilder/examples/index https://docs.kleisli.io/metaBuilder/manual/index https://docs.kleisli.io/metaBuilder/theory/index https://docs.kleisli.io/nix-effects https://docs.kleisli.io/nix-effects/guide https://docs.kleisli.io/nix-effects/guide/introduction 2026-05-15 https://docs.kleisli.io/nix-effects/guide/getting-started 2026-05-15 https://docs.kleisli.io/nix-effects/guide/effects-and-handlers 2026-05-15 https://docs.kleisli.io/nix-effects/guide/typed-validation 2026-05-15 https://docs.kleisli.io/nix-effects/guide/generated-datatypes 2026-05-15 https://docs.kleisli.io/nix-effects/guide/generic-programming 2026-05-15 https://docs.kleisli.io/nix-effects/guide/ornaments 2026-05-20 https://docs.kleisli.io/nix-effects/guide/proof-guide 2026-05-21 https://docs.kleisli.io/nix-effects/guide/sugar 2026-05-17 https://docs.kleisli.io/nix-effects/concepts https://docs.kleisli.io/nix-effects/concepts/theory 2026-05-18 https://docs.kleisli.io/nix-effects/internals https://docs.kleisli.io/nix-effects/internals/trampoline 2026-06-08 https://docs.kleisli.io/nix-effects/internals/systems-architecture 2026-05-20 https://docs.kleisli.io/nix-effects/internals/kernel-architecture 2026-05-15 https://docs.kleisli.io/nix-effects/internals/kernel-spec 2026-05-19 https://docs.kleisli.io/nix-effects/examples https://docs.kleisli.io/nix-effects/proof-examples https://docs.kleisli.io/nix-effects/proof-examples/proofBasics https://docs.kleisli.io/nix-effects/proof-examples/equalityProofs https://docs.kleisli.io/nix-effects/proof-examples/verifiedFunctions https://docs.kleisli.io/nix-effects/effect-examples https://docs.kleisli.io/nix-effects/effect-examples/handlerSwapValidation https://docs.kleisli.io/nix-effects/surface-examples https://docs.kleisli.io/nix-effects/surface-examples/stlc https://docs.kleisli.io/nix-effects/surface-examples/stlc/core https://docs.kleisli.io/nix-effects/surface-examples/stlc/sumsProducts https://docs.kleisli.io/nix-effects/surface-examples/stlc/recursiveLists https://docs.kleisli.io/nix-effects/surface-examples/stlc/refinementsDiagnostics https://docs.kleisli.io/nix-effects/application-examples https://docs.kleisli.io/nix-effects/application-examples/categoryTheory https://docs.kleisli.io/nix-effects/application-examples/interp https://docs.kleisli.io/nix-effects/application-examples/buildSim https://docs.kleisli.io/nix-effects/core-api https://docs.kleisli.io/nix-effects/core-api/kernel 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/comp 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/binds 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/trampoline 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/queue 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/adapt 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/pipeline 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/state 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/state/thunk 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/sugar 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/build 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/build/types 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/compose 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/compose-laws 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/composed-shortcut 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/composed-shortcut-laws 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/desc 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/descind-laws 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/error 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/error-shortcut-laws 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/error-uniform-shortcut-laws 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/state 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/state-shortcut-laws 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/extract 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/kernel 2026-06-07 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/trampoline 2026-06-07 https://docs.kleisli.io/nix-effects/diag https://docs.kleisli.io/nix-effects/diag/positions 2026-05-20 https://docs.kleisli.io/nix-effects/diag/error 2026-05-20 https://docs.kleisli.io/nix-effects/diag/hints 2026-05-20 https://docs.kleisli.io/nix-effects/diag/pretty 2026-05-20 https://docs.kleisli.io/nix-effects/effects https://docs.kleisli.io/nix-effects/effects/state 2026-05-20 https://docs.kleisli.io/nix-effects/effects/reader 2026-05-20 https://docs.kleisli.io/nix-effects/effects/writer 2026-05-20 https://docs.kleisli.io/nix-effects/effects/acc 2026-05-20 https://docs.kleisli.io/nix-effects/effects/error 2026-05-20 https://docs.kleisli.io/nix-effects/effects/conditions 2026-05-20 https://docs.kleisli.io/nix-effects/effects/choice 2026-05-20 https://docs.kleisli.io/nix-effects/effects/scope 2026-05-20 https://docs.kleisli.io/nix-effects/effects/linear 2026-05-20 https://docs.kleisli.io/nix-effects/effects/typecheck 2026-05-20 https://docs.kleisli.io/nix-effects/effects/hasHandler 2026-05-20 https://docs.kleisli.io/nix-effects/types https://docs.kleisli.io/nix-effects/types/foundation 2026-05-20 https://docs.kleisli.io/nix-effects/types/primitives 2026-05-20 https://docs.kleisli.io/nix-effects/types/constructors 2026-05-20 https://docs.kleisli.io/nix-effects/types/refinement 2026-05-20 https://docs.kleisli.io/nix-effects/types/dependent 2026-05-20 https://docs.kleisli.io/nix-effects/types/linear 2026-05-20 https://docs.kleisli.io/nix-effects/types/universe 2026-05-20 https://docs.kleisli.io/nix-effects/streams https://docs.kleisli.io/nix-effects/streams/core 2026-05-20 https://docs.kleisli.io/nix-effects/streams/transform 2026-05-20 https://docs.kleisli.io/nix-effects/streams/limit 2026-05-20 https://docs.kleisli.io/nix-effects/streams/combine 2026-05-20 https://docs.kleisli.io/nix-effects/streams/reduce 2026-05-20 https://docs.kleisli.io/nix-effects/type-checker https://docs.kleisli.io/nix-effects/type-checker/term 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/value 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/quote 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/conv 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/eval 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/eval/_internal 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/eval/dispatch 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/check 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/check/diag 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/check/_internal 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/elaborate 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/elaborate/meta 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/elaborate/_internal 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/hoas 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/hoas/_internal 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/hoas/_internal/_encoders 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/hoas/_internal/_forced 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/hoas/_internal/_indexed 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/surface 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/surface/registry 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/generic 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/generic/desc 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/generic/datatype 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/generic/value 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/generic/derive 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/generic/check 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/generic/checkD 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/generic/ornaments 2026-06-10 https://docs.kleisli.io/nix-effects/type-checker/verified 2026-06-10 https://docs.kleisli.io/nix-effects/diag-hints https://docs.kleisli.io/nix-effects/diag-hints/dargsort-universe-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/dpisort-universe-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/levelmaxlhs-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/levelmaxrhs-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/levelsucpred-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/ulevel-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/anntype-not-a-type 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/jtype-not-a-type 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/motive-pidom-not-a-type 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/motive-not-a-type 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/picod-not-a-type 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/pidom-not-a-type 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/dargbody-not-a-desc 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/dpibody-not-a-desc 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/dplusl-not-a-desc 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/dplusr-not-a-desc 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/drectail-not-a-desc 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/mudesc-not-a-desc 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/apphead-not-a-function 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/dpifn-not-a-function 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/motive-not-a-function 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/opaquetype-not-a-function 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/dpifn-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/drecindex-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/dretindex-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/muindex-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/mupayload-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/elem-inhabitation-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/field-inhabitation-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/sigmafst-inhabitation-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/sigmasnd-inhabitation-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/tag-inhabitation-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/elem-refinement-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/field-refinement-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/sigmafst-refinement-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/sigmasnd-refinement-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/tag-refinement-failed 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/case-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/scrut-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/annterm-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/apparg-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/jtype-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/opaquetype-type-mismatch 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-boot-inl 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-boot-inr 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-boot-refl 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-lam 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-other 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-pair 2026-05-20 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-tt 2026-05-20 https://docs.kleisli.io/nix-effects/application-examples/index https://docs.kleisli.io/nix-effects/concepts/index https://docs.kleisli.io/nix-effects/diag-hints/index https://docs.kleisli.io/nix-effects/effect-examples/index https://docs.kleisli.io/nix-effects/examples/index https://docs.kleisli.io/nix-effects/guide/index https://docs.kleisli.io/nix-effects/internals/index https://docs.kleisli.io/nix-effects/proof-examples/index https://docs.kleisli.io/nix-effects/surface-examples/index