Samosa - Linter for Math Derivations

Show HN: Samosa – Linter for Math Derivations

Samosa is a linter built specifically for mathematical derivations, bringing the kind of automated error-checking developers already rely on for code to the world of step-by-step math. Instead of manually re-reading proofs and calculations to hunt for slips, users can run Samosa to catch mistakes and inconsistencies in their derivations. It's aimed at students, researchers, and anyone who works through formal math and wants a faster, more reliable way to verify each step. Think of it as a spell-checker for your equations, helping you spot problems before they derail your work.