ASSESSMENT #AIM-2026-000000

io.github.tufantunc/axiom-math

Automated only

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas

Repository Third-party · npm

Install

npx axiom-math

Running any third-party MCP server executes its code with the permissions you grant it. A grade reflects our findings at the “last verified” date below — verify independently before installing in a sensitive environment.

Should you install this?

Grading in progress — no dimensions have been assessed yet. Check back soon for a full picture.

Last verified 2026-08-14

Dispute this grade

Overall grade pending

Grade history

Historical grade tracking becomes available once this server has been through at least two sync cycles — the longitudinal dataset is what answers “is this server getting worse?”

Maintainer of this server? Dispute a finding or trigger a re-scan after a fix.

How disputes work Claim this listing