Without any usage guidance it is quite likely to be used incorrectly. The fact that there are many deleted questions having this tag can be considered a supporting evidence of this fact. (According to SEDE there are 26 such questions - although this list also includes a few migration stubs. In fact, I was a bit surprised that I did not see this tag mentioned in this previous discussion: Tags that encourage off-topic questions.)
At the moment there are 8 question in this tag - they are listed here.
So I would like to ask:
- Should MO keep the (proofs) tag or should it be removed?
- If the tag is going to stay, would it be possible to make at least basic tag-info to clarify the usage of the tag?
I understand that this tag is a bit vague, so it might be difficult to give a good description. But perhaps at least some cases when the tag should not be used could be mentioned. (For example, that the tag should not be used if the question is about one specific proof or if the asker posts question about verification of their own proof.)