jint, an extensible semantic linter

A new tool to keep coding agents in check.