The request names ktlint, a Kotlin linter, but none of the candidate sources is ktlint's own page. The closest fit is detekt 4, a static analyzer for Kotlin that enforces clean-code rules, and Selenium 7 and GitHub 1 are not linters. Only detekt's source shows it doing Kotlin static analysis; the others are included only where they plausibly relate to Kotlin code checking.

1. 1

   detektdetekt.devwebsite read, tools not yet checked

   A static analyzer for Kotlin that finds anti-patterns and style issues, configurable through Gradle, Maven or Bazel builds, and extensible with custom rules 4.

   WebsiteDocs

   +2 community tools built for it

2. 2

   pre-commitpre-commit.comverified and signed

   A framework for running git hook scripts, such as linters, on every commit to catch style issues before code review 6.

   WebsiteDocs

   for agents: pre-commit/action

3. 3

   SQLFluffsqlfluff.comverified and signed

   A configurable linter that checks and auto-fixes style and syntax issues in SQL code, the same lint-and-fix role for a different language 9.

   WebsiteDocs

   +4 community tools built for it

   for agents: linter · formatter · clickhouse

4. 4

   EditorConfigeditorconfig.orgwebsite read, tools not yet checked

   A file format and set of editor plugins for keeping coding style consistent across editors and IDEs, complementary to a Kotlin linter 10.

   WebsiteDocs

   +3 community tools built for it

Left out: Rtblint, because each one's own page says it is retired or discontinued.