GitHub repository: szeider/mcp-solver
Primary language: Python
Description: Model Context Protocol (MCP) server for constraint optimization and solving"