textlint are some of the popular tools that integrate with Micro . Here's a list of all 1 tools that integrate with Micro .
Micro Editor