Docs.rs

Configure tmux with Lua.

A type-safe Claude Code CLI wrapper for Rust

Coding agent context data browser

Zero-knowledge end-to-end encryption with post-quantum hybrid KEM (ML-KEM + X25519) and an opt-in CNSA 2.0 suite axis (matched-strength hybrid + pure ML-KEM-1024 / ML-DSA-87 / AES-256-GCM)

A collection of additional components for elephantry.

Standalone terminal block-stacking game and replay viewer

The Quiver daemon: gRPC + REST with auth, RBAC, audit, and metrics.

Quiver command-line interface and single-binary entrypoint.

Static-HTML visualization of a scry (scry-sai-core) AnalysisResult — functions, call graph, diagnostics, and per-program-point invariants (locals + operand stack).

Safe-by-construction ClickHouse schema toolkit: an allowlisted type system for user-defined / multi-tenant schemas, DDL generation, forward-only migrations, and drift detection. Rows stay Serde-native.

Pure, bindgen-free analyzer core for scry (FEAT-014 / DD-012): the wasmparser + fixpoint + transfer logic and its plain-Rust result types, extracted from scry-analyzer so the analyzer's real decisions can be instrumented for witness MC/DC and the component becomes a thin canonical-ABI wrapper.

The Quiver retro terminal cockpit (an API client).

Encode/decode + projection for meld's `component-provenance` custom section (DD-002, FEAT-002).

Pure octagon relational abstract domain (DBM; ±x±y ≤ c) for scry (FEAT-010, Miné HOSC 2006 / AC-011).

An MCP server exposing Quiver's capabilities as agent tools.