charms-spell-checker is not a spelling checker: it's a validator for spells.
It is run inside a zkVM to produce recursive proofs of correctness for spells — metadata on top of transactions that specifies what charms are created on top of transactions' outputs.