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

//! Prusti verification example - Requires verify-prusti feature to run.

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

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