Filtra aims to extract information like lead and cycle times from Github repos for Kanban projects.