Open source
Projects we publish
Libraries and tools we maintain in the open. Source of truth lives on GitHub. lean-grpc docs are hosted here; other projects document in their repositories.
lean-grpc
Lean 4 gRPC stack — HPACK, HTTP/2, and gRPC framing on Std.Async.TCP. Version 1.1.0. Apache-2.0.
Docs Get started GitHub Reservoir
lean-tee
Lean-specified zkTEE: measured guest execution, hashed receipts, lean-grpc APIs. Not a confidentiality enclave. Apache-2.0.
Overview GitHub Reservoir docs/
nuropb-rmq
Async-native Python AMQP 0-9-1 client (no pika); JSON-RPC mesh patterns. Apache-2.0.