Skip to main content

shadow_minimal_section

lean_ctx::core::rules_sections

Function shadow_minimal_section 

Source 
pub fn shadow_minimal_section(p: &ToolProfile) -> String
Expand description

Shadow-mode exclusive tools (no native trigger to intercept).