Elicitation-enabled accesskit type wrappers — newtypes with JsonSchema and MCP reflect methods
Conversational elicitation of strongly-typed Rust values via MCP
Elicitation-enabled ratatui TUI tools — dual-mode MCP tools with code emission
Elicitation-enabled egui widget tools — dual-mode MCP tools with code emission
Typestate-based verified UI system using AccessKit as universal IR