Elicitation-enabled time newtypes — JsonSchema-compatible wrappers around time::OffsetDateTime and time::PrimitiveDateTime
Conversational elicitation of strongly-typed Rust values via MCP
Elicitation-enabled sqlx type wrappers — newtypes with JsonSchema and MCP reflect methods
Elicitation-enabled tokio shadow crate — MCP tools for async time, sync primitives, and runtime inspection
MCP client with multi-server lifecycle and Qdrant tool registry for Zeph
Derive macros for elicitation library
Async Traceroute library/command-line tool
Procedural macros for MCP tool generation, tracing instrumentation, and newtype wrapping in the elicitation framework
Geospatial contract interface — Props, traits, and types for GIS domain boundaries
Typestate-based verified UI system using AccessKit as universal IR
Database contract interface — Props, traits, and typestate for SQL domain boundaries
MCP macro tools for the Rust standard library — emit-only tools for format!, include_str!, env!, concat!