Interactive linting