MCP servers from io.github.ZohaibCodez
Comprehensive tools for discrete mathematics: logic, algorithms, number theory, cryptography