I've got a PR for adding a semgrep backend: https://github.com/pantsbuild/pants/pull/18593 Is anyone enthused about semgrep or new tool/linting backends? Feel to review, thanks!