Tinfoil - Verifiably private AI infrastructure and secure enclaves
Yokka - The kanban board for AI coding agents
