“lean”

5 tools · ranked by relevance and freshness, not ad spend.

Result neighbourhood

Top matches for your query, linked as a graph hub. Follow any node to drill in.

netdata80k★lingua4.8k★lean-ctx3.2k★LeanCopilot1.3k★LeanEuclid136★

FilterSort · Relevance

lean-ctx

Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they to

Very activeRustagentic-codingaipushed today

3.2k

stars

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

ActiveC++formal-mathematicsleanpushed 3w

1.3k

stars

netdata

The fastest path to AI-powered full stack observability, even for lean teams.

Very activeGoaialertingpushed 1d

80k

stars

lingua

Meta Lingua: a lean, efficient, and easy-to-hack codebase to research LLMs.

SlowingPythonpushed 11mo

4.8k

stars

LeanEuclid

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

SlowingLeanautoformalizationeuclidean-geometrypushed 7mo

136

stars