A
Axiom — Advanced Math
39LimitedExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Loading the directory
Loading the directory
MCP servers linked to github.com/tufantunc.
2 servers
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Policy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.