Pinned Loading

1. RileyBetts/nuropb-rmq RileyBetts/nuropb-rmq Public

   Async native Python RabbitMQ/AMQP 0-9-1 client (no pika). JSON-RPC service-mesh patterns—RPC, events, mesh binding, claims—with Lean-proven invariants. Zero runtime AMQP deps. Apache 2.0.

   Python 3

2. RileyBetts/lean-grpc RileyBetts/lean-grpc Public

   Pure Lean 4 gRPC library (HTTP/2 + HPACK + gRPC) on Std.Async

   Lean 5

3. openid-whisperer openid-whisperer Public

   OpenID Compliant Identity Service

   Python

4. RileyBetts/lean-tee RileyBetts/lean-tee Public

   Lean-specified zkTEE: measured guest execution, hashed receipts, lean-grpc APIs

   Lean 3

5. Symphonizer Symphonizer Public

   Task Orchestration using Directed Acyclic Graphs

   Python

6. swagger-dialect swagger-dialect Public

   SQLAlchemy Swagger definition reflection

   Python 1