SocketlistAI & media / Axiom — Advanced Math
Axiom — Advanced Math
io.github.tufantunc/axiom-math · v1.0.5
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Install
npx -y axiom-mathTypical command from the package name. Check the README for required configuration and credentials before connecting it to real data.
Signals
| GitHub stars | 3 |
| npm weekly downloads | 66 |
| Last push | 12d ago |
| Licence | GPL-3.0 |
| Open issues | 0 |
| SECURITY.md | Yes |
| Language | TypeScript |
| Latest version published | 2026-08-09 |
Signals captured from GitHub, npm and the official MCP Registry on October 15, 2026. See the scoring method.
Similar servers
glassbox-framework
Score 70Runtime constitutional verification for AI answers — claim reasoning, ECS, red team, audits.
Entroly
Score 93Context Assurance for AI agents: context engineering, AI cost optimization, verification.
openrouter-multimodal
Score 85Chat with 300+ LLMs via OpenRouter. Analyze and generate images, audio, and video from MCP.