elicitation 0.8.0

Conversational elicitation of strongly-typed Rust values via MCP
Documentation

elicitation

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

This version has 22 feature flags, 8 of them enabled by default.

default

full (default)

chrono (default)

jiff (default)

rand (default)

regex (default)

time (default)

url (default)

  • dep:url (default)

uuid (default)

api

This feature flag does not enable additional features.

clap

cli

csv

dev

kani-verifier

This feature flag does not enable additional features.

prusti-contracts

serde_json

This feature flag does not enable additional features.

verification

This feature flag does not enable additional features.

verify-all

verify-creusot

verify-kani

verify-prusti

verify-verus