Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
分类：ai-systems | 版本：v1.0.5 | 定价：免费
GitHub: https://github.com/tufantunc/axiom-advanced-math-mcp
加载中...
提交前请确保证据真实充分。平台将在3个工作日内处理。