Expand description
Child-process runtime for the lean-rs worker boundary.
This crate ships the binary that hosts a lean-rs runtime inside a
supervised child process and serves typed requests defined in
lean-rs-worker-protocol
over stdin/stdout. Parent supervisors live in
lean-rs-worker-parent.
Most users do not depend on this crate directly; spawning the bundled
lean-rs-worker-child binary as a sibling executable is the usual path.
Applications that need a per-toolchain worker identity (so the binary
filename matches the host application) can wrap run_worker_child_stdio
in a one-line main.
Functionsยง
- run_
worker_ child_ stdio - Run the worker child process on stdin/stdout.