rustio rustio.net
55

lean-rs-worker-protocol

v0.1.10 Experimental

Wire protocol and shared value types for the lean-rs worker process boundary.

MIT OR Apache-2.0 Edition 2024 MSRV 1.91
API bindingsEncoding #protocol#worker#lean#lean4

Quick Verdict

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

Security

Checking security advisories...
Downloads
36
Dependents
8
Releases
2
Size
23KB

Deep Insights

๐Ÿ“Š
Download activity

36 downloads in the last 30 days (1/day avg).

๐Ÿชถ
Minimal dependencies

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

๐Ÿ“
Compact crate

At 22KB, lean-rs-worker-protocol is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 14/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 9/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 15/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg
02/263/164/34/215/95/26

Top Dependents

Most downloaded crates that depend on lean-rs-worker-protocol

Version Adoption

v0.1.10
61%
v0.1.8
39%

Release Timeline

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

Feature Flags

harness

README

Loading README...

Maintainers

Dependencies
3
direct dependencies
Dependents
8
crates depend on lean-rs-worker-protocol

Similar Crates