A depth-first, multi-language static scanner that flags wasted work, self-contradiction, and missing escape hatches — and never dresses a heuristic up as a proof. The pons asinorum for code.
python rust cli tree-sitter linter static-analysis control-flow-graph developer-tools code-quality program-analysis code-smells sarif dataflow-analysis typestate static-analysis-tool
-
Updated
Jul 19, 2026