lean-ctx

LeanCTX (Lean Context)

— AIエージェントのためのコンテキストインテリジェンス。あなたのエージェントが何を読むかを決定し、学んだことを記憶し、触れるものを守り、保存するものを証明する1つのローカルバイナリ。レシートとして60〜90%少ないトークン。30以上のツール、Rust、ローカルファースト。