Tool, given dictionary, searches text for possible misspellings. Not grammatically correct because identifiers often aren't full/real words.
I guess that’s just a fuzzy spell checker. I.e. one that gives suggestions.
The original server operated by the Mastodon gGmbH non-profit