Hussain004/SAMOSA
A step auditor for matrix algebra, stochastics and algebra. Checks every step of a derivation, exactly, over finite fields.
GitHub repository with 6 stars and 0 forks.
Language: TypeScript
Topics: agent-skills, education, kalman-filter, latex, linear-algebra, linter, machine-learning, math, matrix-calculus, mcp