Open source repositories tagged with #erdos-problem, ranked by health score.
Composable mathematics tools for agents
