Worker-process boundary for lean-rs host workloads.
Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, progress, batching, and session pooling.
Lean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own build.rs scripts.
Parent-side supervisor for the lean-rs worker process boundary.
Real-time LLM streaming with inflight analysis
The first compiled Unix shell — bytecode VM, worker pool, AOP intercept, Rkyv caching
Outbound SMTP client: MX resolution, DANE/STARTTLS, response parsing — async, transport-agnostic primitives for RFC 5321 senders.
AWS S3 helper crate for neocrates workspace
STS helpers (Aliyun/Tencent) for neocrates workspace
Helper utilities for the neocrates workspace
Logging utilities for neocrates workspace
Response utilities and Axum integrations for the neocrates workspace
No description provided.
No description provided.
No description provided.