I've seen a few questions recently where the OP has written what they feel is a complete implementation of their desired code, has learned that it is wrong for at least one input, but does not know what inputs it's wrong for, or why.
Is this really on- or off-topic? A pseudo-question example:
I'm trying to achieve X, Y, Z.
I have learned from an automated checker that there is at least one case where my code gives the wrong answer. Can you find me an example that breaks my code [AND/OR] what's wrong with my code?
Here's my code:
blah blah blah
These seem to run afoul of the "no MCVE" close reason, because they don't describe the problem in detail. However, that's because the OP truly doesn't know the details of the problem (unlike, for example, OPs who refuse to copy/paste stack traces for our benefit because they don't understand how to read them). What if they have a good, mathematical description of what the program is supposed to do? Can that description, plus "someone[/thing] I trust says there exists a counter-example", fulfill the problem description requirement?
I think this is another way of looking at it: is asking for counter-examples/corner cases that break code on-topic, if the code is reasonably short, the code's requirements are well-described, and the OP is confident (not just guessing or wondering) that there is such a counter-example to be found? I expect in many of those cases someone in the community will spot a counter-example, and be able to answer the question.