Docs.rs

Post-processing pipeline: PAR2 verify/repair, archive extraction

A pre-commit-friendly multi-language formatter (ktfmt, google-java-format, license headers, whitespace)

Official Rust SDK for the Linkbreakers API

OpenTelemetry bootstrap helpers for the Agent SDK (OTLP exporter wiring + propagators)

Developer-experience CLI for the Agent SDK (e.g. installs the local Langfuse + OTel collector stack)

The webview renderer for makeover-layout. Emits CSS, and is the one renderer that needs no palette: var() is the late binding, so resolution stays with the browser.

A two-tier proof engine, pure Rust: tier 4 checks a predicate against EVERY input in a bounded domain (exhaustive); tier 5 proves properties over UNBOUNDED, multi-variable domains (all of u64) via interval abstract interpretation, including function CONTRACTS (precond -> postcond) — Proven / Refuted-with-witness / honest Unknown, never a false result. no_std, no unsafe, no external solver. A first-party alternative to symbolic model checkers like Kani.

The terminal renderer for makeover-layout, on ratatui. The surface where a fill can vanish: two intents that differ in 24 bits can land on one entry in 16 colours, so depth degrades from colour to structure.

Rust Agent SDK for building LLM agents

The immediate-mode renderer for makeover-layout. Immediate mode is the constraint that matters, not the library: no cascade, no retained tree, one stroke per widget. Backed by egui.

Tool traits, registry, hooks, and store contracts for the Agent SDK

LLM provider trait, streaming primitives, and first-party provider implementations for the Agent SDK

The renderer-agnostic half of the make-family design system: what a thing IS, named as intents and relationships and never as values. Colour defers to makeover, spacing to makeover-geometry; what is left is composition.

Tmplx is a Code-Gen-First HTML template engine for Rust, architecturally constrained to guarantee zero dynamic allocation (0 bytes of heap for static markup) at runtime.

Ergonomic derive/declarative macros for the Agent SDK (#[derive(Tool)], #[derive(TypedTool)], tool!, #[derive(ToolName)])