Why do I get an error regarding a connection to the server when trying to run a Polyspace (Desktop) analysis from a Simulink model in R2025b on my PC?

I'm using MATLAB R2025b and Polyspace Code Prover (Desktop) and Polyspace Bufginder (Desktop) R2025b.

I linked Polyspace to MATLAB so I can start an analysis directly from the Simulink model.

Whenever I try to run Polyspace Code Prover or Bugfinder in Simulink (or via the Process Advisor), I get this error:

Task 'ProveCodeQuality' threw unhandled exception 'The server returned the status 503 with message "Service Unavailable" in response to the request to URL http://xx.xxx.xxx.xx.'

I do not know where this comes from: "http://xx.xxx.xxx.xx" I cannot find it in any configuration file. Is Polyspace searching for Polyspace Server or Polyspace Access in some way?

I just want to use Polyspace Desktop for now.

In the command window, I see the following output/error:

(It seems to be stuck at the Polyspace Code Prove Task "Prove Code Quality"...)

####################### Starting task ProveCodeQuality::Design/My_Mdl.slxTask 'ProveCodeQuality' threw unhandled exception 'Proxy set in MATLAB preferences blocks connection to local port 58720'## Task: Prove Code Quality#### Input Artifacts:#### Design/My_Mdl.slx#### codegen....<snip>#### Output Artifacts:#### Pass: 0#### Warn: 0#### Fail: 0#### Start: 05-May-2026 15:13:10#### End: 05-May-2026 15:15:44#### Duration: 00:02:33#### Task Status: Error## Completed task ProveCodeQuality::Design/My_Mdl.slx#####################

Answer 1

[MathWorks Support Team]

Please check your MATLAB Settings for the Proxy Server (MATLAB Preferences -> Web -> "Use a proxy server to connect to the internet"). 

The mentioned errors indicate that MATLAB cannot communicate with Polyspace on your local machine due to these settings. It is probably unrelated to any Polyspace Server products.

Disabling the proxy usage should avoid such issues.