Docs.rs

Provider-free deterministic semantic verifier for Proofborne proofs

Typed Kweb node context and Chatend box projection policy

Language Server Protocol implementation for the Cairn language

WebAssembly bindings exposing the Cairn compiler in the browser

A version and changelog manager for single-package applications, using the changesets file format

Command-line interface for the Cairn language

Redstone logic synthesis, place-and-route, and a headless tick simulator

Readers and writers for .nbt, .litematic, .schem, and .mcstructure

NBT codec for the Cairn language (Java big-endian and Bedrock little-endian)

Core of the Cairn language: parser, IR, compiler

Typed routing for model calls with exact-model and per-user usage accounting

Placeholder reserving the 'dracma' name on crates.io for the Dracma token project.

One CLI that guides any AI coding agent through your project, step by step

Kennedy Chatend context preparation and overflow-recovery policy

Session-scoped tools for managed Rust libraries, Web libraries, and Rust binaries