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