Show HN introduces Samosa, a linter that verifies every step of matrix derivations exactly over finite fields. It offers a browser-based 2x2 counterexample and fix, and its verdicts do not rely on AI.