elicitation 0.10.0

Conversational elicitation of strongly-typed Rust values via MCP
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

//! [`ElicitSpec`](crate::ElicitSpec) implementations for string types.

use crate::{
    ElicitSpec, SpecCategoryBuilder, SpecEntryBuilder, TypeSpec, TypeSpecBuilder,
    TypeSpecInventoryKey,
};

// ── String ───────────────────────────────────────────────────────────────────

impl ElicitSpec for String {
    fn type_spec() -> TypeSpec {
        let ensures = SpecCategoryBuilder::default()
            .name("ensures".to_string())
            .entries(vec![
                SpecEntryBuilder::default()
                    .label("valid_utf8".to_string())
                    .description(
                        "Always valid UTF-8. Rust's String type guarantees valid UTF-8 encoding."
                            .to_string(),
                    )
                    .expression(Some(
                        "std::str::from_utf8(output.as_bytes()).is_ok()".to_string(),
                    ))
                    .build()
                    .expect("valid entry"),
            ])
            .build()
            .expect("valid ensures");

        let fields = SpecCategoryBuilder::default()
            .name("fields".to_string())
            .entries(vec![
                SpecEntryBuilder::default()
                    .label("len".to_string())
                    .description("Length in bytes (not characters). Use .chars().count() for Unicode character count.".to_string())
                    .build().expect("valid entry"),
                SpecEntryBuilder::default()
                    .label("capacity".to_string())
                    .description("Allocated buffer capacity in bytes. Grows automatically on push/append.".to_string())
                    .build().expect("valid entry"),
            ])
            .build().expect("valid fields");

        TypeSpecBuilder::default()
            .type_name("String".to_string())
            .summary("A heap-allocated, growable, UTF-8 encoded string.".to_string())
            .categories(vec![ensures, fields])
            .build()
            .expect("valid TypeSpec")
    }
}

inventory::submit!(TypeSpecInventoryKey::new(
    "String",
    <String as ElicitSpec>::type_spec,
    std::any::TypeId::of::<String>
));

impl crate::ElicitComplete for String {}