GitHub repository: lean-mind/leanbot
Primary language: TypeScript
Description: Side Project for the LeanMind Bot