Axiom — Advanced Math
本地Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
安装配置
{
"mcpServers": {
"axiom-advanced-math": {
"command": "npx",
"args": [
"axiom-math"
]
}
}
}