rustio rustio.net
52

lean-rs-worker-parent

v0.3.0 Experimental

Parent-side supervisor for the lean-rs worker process boundary.

MIT OR Apache-2.0 Edition 2024 MSRV 1.91
API bindings #worker#ipc#supervisor#lean#lean4

Quick Verdict

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

Security

Checking security advisories...
Downloads
438
Dependents
25
Releases
18
Size
90KB

Deep Insights

๐Ÿ“‰
Download decline

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

๐ŸŒŸ
Used by top crates

Notable dependents include lean-rs-worker-child, lean-host-mcp, lean-dup-worker. When high-quality crates choose lean-rs-worker-parent, it's a strong quality signal.

Health Breakdown

Maintenance 12/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 9/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 15/15

Docs, repo, license, metadata

Download Trend

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

Top Dependents

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

Version Adoption

v0.3.0
41%
v0.1.19
16%
v0.2.0
15%
v0.2.2
14%
v0.1.20
14%

Release Timeline

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

README

Loading README...

Maintainers

Dependencies
6
direct dependencies
Dependents
25
crates depend on lean-rs-worker-parent

Similar Crates