Skip to main content

Module explore_cmd

Module explore_cmd 

Source
Expand description

lean-ctx explore — FastContext-style iterative code exploration (CLI).

Exposes the same deterministic loop as the ctx_explore MCP tool: a bounded multi-turn search (BM25 + static call/import graph + AST symbols) that returns compact path:start-end citations rather than file bodies. --json emits the citation list for editor/script consumption; --citation prints only the <final_answer> block.