elicitation 0.8.0

Conversational elicitation of strongly-typed Rust values via MCP
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! Verus verification example - Requires verify-verus feature to run.

#[cfg(not(feature = "verify-verus"))]
fn main() {
    eprintln!("This example requires the verify-verus feature.");
    eprintln!("Run with: cargo run --example verification_verus_example --features verify-verus");
}

#[cfg(feature = "verify-verus")]
fn main() {
    println!("Verus verification example - implementation TBD");
}