Open source · Lean 4
lean-tee
Portable integrity TEE compute: measured guests, hashed receipts, and lean-grpc APIs so anyone can accept honest public results or cheaply reject forged ones.
lean-tee is not a confidentiality enclave. It does not hide secrets from the host. It is for proving that public compute ran as specified — not for sealing keys the way AWS Nitro does.
Documentation is maintained in the repository, not on this site. It uses lean-grpc for its APIs.