io.github.tufantunc/axiom-math
pkg:npm:axiom-math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
- transport:
- stdio
- credential class:
- not-probed
Owner verification
Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.
Start verification →Tools
Embed this server’s score
Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.
[](https://vouch.tools/servers/632fd4f4-ffa0-4a3f-ab49-04c683b6f094)