MCP tool transport for reqwest — newtype wrappers, plugin registry, and contract-verified HTTP workflows
Conversational elicitation of strongly-typed Rust values via MCP
Cross-crate workflow plugins for elicitation — code recovery, multi-crate compositions, and server-side orchestration
Procedural macros for MCP tool generation, tracing instrumentation, and newtype wrapping in the elicitation framework
Elicitation MCP tools for serde_json types (Value, Map, Number)
Derive macros for elicitation library
Creusot formal verification proofs for elicitation contract types
Ergonomic, type-safe Rust library for building MCP servers with plugin system and real API integrations
A stdio to streamable-http MCP proxy with OAuth support
ACP (Agent Client Protocol) server for IDE embedding