Command-line tool

lean-ctx

scoop/lean-ctx

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Context intelligence layer for AI agents.

Website

At a glance

Type

Command-line tool

Install on

Windows

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

scoop install lean-ctx

Related command-line tools

• lean-cli
  Command-line tool to develop and manage LeanCloud apps lean
• elan-init
  Lean Theorem Prover installer and version manager
• gitoxide
  Idiomatic, lean, fast & safe pure Rust implementation of Git
• tokenjuice
  Lean output compaction for terminal-heavy agent workflows. cli terminal llm tokens context developer-tools
• merge-json-cli
  A lean cli tool to merge multiple json files into one. merge json
• local-web-server
  A lean, modular web server for rapid full-stack development dev server web tool front-end development cors mime rest…

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents