Skip to main content

handle

lean_ctx::tools::ctx_execute

Function handle 

Source 
pub fn handle(
    language: &str,
    code: &str,
    intent: Option<&str>,
    timeout: Option<u64>,
) -> (String, ShellOutcome)
Expand description

Executes a code snippet in a sandboxed environment. Returns the formatted output plus the structured outcome so the MCP layer can set isError/structuredContent on failures (GitHub #389).