关于
The Math Review skill provides a rigorous framework for auditing math-heavy codebases, including machine learning models, scientific computing scripts, and financial algorithms. It automates the process of mapping requirements to mathematical invariants, verifying derivations through Computer Algebra Systems (CAS), and assessing numerical stability to prevent issues like precision loss or overflow. By integrating industry standards such as NASA-STD-7009, this skill ensures that complex calculations are not only correct but also robust and well-documented for safety-critical environments.
