rustio rustio.net
45

lean-host-mcp-worker

v0.5.0 Experimental

Worker-child binary for lean-host-mcp (links libleanshared; spawned by the parent)

MIT OR Apache-2.0 Edition 2024 MSRV 1.91
Development tools #mcp#lean#lean4

Quick Verdict

  • โœ“Actively maintained (updated 24d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Tiny footprint (6KB, 1 deps)
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
96
Dependents
0
Releases
6
Size
6KB

Deep Insights

๐Ÿ“‰
Download decline

27 downloads in the last 30 days, down 61% from the previous period. May indicate migration to alternatives.

๐Ÿชถ
Minimal dependencies

Only 1 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

๐Ÿ“
Compact crate

At 6KB, lean-host-mcp-worker is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 12/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 5/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg
04/275/156/26/207/87/25

Version Adoption

v0.3.0
23%
v0.2.0
21%
v0.1.0
20%
v0.5.0
20%
v0.4.0
17%

Release Timeline

6 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
6
Less
More

README

Loading README...

Maintainers

Dependencies
1
direct dependencies
Dependents
0
crates depend on lean-host-mcp-worker

Similar Crates