Docs.rs

Trace types and JSONL exporter for the lash agent runtime.

OAuth helpers and credential storage shared by lash provider crates.

Sans-IO protocol kernel for the lash agent runtime. Pure types and state machine; no IO or async.

Hindley-Milner type checker for the Basel Haskell Compiler

Termion backend for the Ratatui Terminal UI library.

Termwiz backend for the Ratatui Terminal UI library.

Cloud storage backend abstraction for Reinhardt framework

An AI-powered CLI tool for interactive chat with LLMs

AST to HIR lowering for BHC

Code-review provenance CLI (Vidi Vouch). Name reserved; the tool ships as a binary. See https://vidivouch.github.io/veni/

HIR to Core IR lowering for BHC

Seher SDK: agent resolution and codexbar-backed rate-limit checks

AmateRS server binary

Human-friendly visual fingerprints for keys and checksums: a nameable 64-emoji BLAKE3 hash (emojihash) and OpenSSH-style drunken-bishop randomart

Seher CLI: pick the highest-priority coding agent and run a plan/build prompt