Checks the math in your code and gives AI agents an exact math engine (SymPy + NumPy).
Free
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
Checks the math in your code and gives AI agents an exact math engine (SymPy + NumPy).