A best-effort universal numerical, logical and symbolic solver interface for MCP - View it on GitHub