If there exists a Jónsson cardinal $\kappa$, then $x^\#$ exists for every $x\in V\_\kappa$ (in particular $V\neq L[x]$). It follows that if there is a proper class of Jónsson cardinals, then the sharp of every set should exist (this happens if for example if there is a proper class of Ramsey or measurable cardinals).


So the existence of a proper class of Jónsson cardinals is an upper bound for the consistency of "for every $x$, $x^\#$ exists". $\mathbf{\Pi}^1\_1$-determinacy, being equivalent to the existence of the sharp of every real, is a lower bound.


Is the exact consistency strength of "for every $x$, $x^\#$ exists" known?


Edit: as François G. Dorais pointed out in a comment, if $\kappa$ is Jónsson then $V\_\kappa\models$ "for every $x$, $x^\#$ exists". (we aren't guarenteed that $V\_\kappa\models ZFC$ but that doesn't matter consistency-strength-wise), so "there is a Jónsson cardinal" is an upper bound for the consistency strength of "for every $x$, $x^\#$ exists".



Consistency of "the sharp of every set exists"
In one sense, closure under sharps is itself a standard point in the hierarchy of consistency strengths. Just like the exact consistency strength of "ZFC + measurable" is "ZFC + measurable", so is the case for closure under sharps. However, the value of the consistency strength hierarchy is in terms of the connections it offers, and here we can say more.


Closure under sharps is equivalent to the failure of the covering lemma (alternatively, weak covering lemma) for every $L[x]$. It also equivalent to $\mathbf{\Pi}^1\_1$-determinacy in every generic extension of V. The nature of the assertion "for every $x$, $x^\#$ exists" is such that equiconsistent statements tend to be actually equivalent to it.


Jónsson cardinals are equiconsistent with Ramsey. A consistency-wise weaker assertion that is consistency-wise stronger than closure under sharps is existence of $ω\_1$-Erdos cardinals. A still weaker assertion (that remains consistency-wise stronger than closure under sharps) is determinacy in level $ω^2$ of the difference hierarchy of analytic sets. Some other (somewhat technical) notions can be found in "On unfoldable cardinals, ω-closed cardinals, and the beginning of the inner model hierarchy" (P.D. Welch, 2004).


