Centrally-maintained Lean 4 compiler extensions (axiom guard linter), consumed as a Lake plugin. - View it on GitHub