lean-agentic
v0.1.0 ExperimentalCore library for Lean-Agentic: hash-consed dependent types with 150x faster equality
Quick Verdict
- !Pre-1.0: API may have breaking changes
- ✓Tiny footprint (19KB, 0 deps)
- ✓Permissive license (Apache-2.0)
Security
Deep Insights
4.2K downloads in the last 30 days (139/day), up 157% from the previous period.
The primary maintainer publishes 293 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
lean-agentic has no external dependencies — minimal supply chain risk and fast compile times.
At 19KB, lean-agentic is lightweight. Small crate size correlates with focused, well-scoped functionality.
Notable dependents include leanr-wasm, leanr-rag-gateway, conformal-prediction, ruvector-verified. When high-quality crates choose lean-agentic, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on lean-agentic
