Connection check
local install
axiom-math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Tools
2
GitHub stars
2
Installs / wk
67
Licence
GPL-3.0
Transport
stdio
Last checked
never
Tools & capabilities
2 toolsRead from the published package source — this server runs locally, so there is no endpoint to query. Names are taken from the code, not observed at runtime, and descriptions are often absent.
compute
from source
Compute an exact answer to a mathematics problem: equation solving, calculus, linear algebra, Compute an exact answer to a mathematics problem: equation solving, calculus, linear algebra,
verify
from source