You cannot disable specific Code Prover checks. See more details in Modify or Disable Code Prover Run-Time Checks.
I am not sure why you would want to see the green checks but not the orange checks. The idea behind not allowing selective removal of orange checks is so that users review the results of those checks at least once. Once reviewed, if you consider the orange IDP and STD_LIB checks as not representative of real run-time errors, you can justify the orange checks (add a specific Status) and then filter out all checks with that justified status. This process would make the manual review of orange checks a one-time affair only.
