For what it's worth our linter is also open source [0] :) I do like the idea of combining the two and have it self-document, though. [0]: https://github.com/Kh

For what it's worth our linter is also open source [0] :) I do like the idea of combining the two and have it self-document, though. [0]: https://github.com/Khan/khan-linter https://github.com/Khan/khan-linter