Ormcpy: High-Performance OR Solvers for AI Agents