If there is nothing generic in JuMP
The current version of JuMP does support user cuts (see the docs); however, I did not mention it because the new version of JuMP is removing solver-independent callbacks since there is plenty of evidence that callbacks are not solver-independent.
You can read more about the upcoming changes here.