Ledger — public GitHub contribution analysis
TenantFlow — tenant isolation for AI agents, with Lean proofs
Nid d’Aigle
Malte Petersen