GitHub repository: sundai-club/hilbertron
Primary language: TypeScript
Description: Agent proving mathematical problems