Elicitation-enabled chrono datetime wrappers with MCP reflect methods
Conversational elicitation of strongly-typed Rust values via MCP
Kani model-checking proofs for elicitation contract types
Creusot formal verification proofs for elicitation contract types
Production-grade MCP host crate for building Model Context Protocol servers
Rust SDK for Model Context Protocol (MCP) with zero-boilerplate macros and WASM support