mcp-solver: MCP server for constraint optimization and solvinggithub.com/szeider2 pointspizzaa year ago