agentmods.dev

tufantunc/axiom-advanced-math-mcp

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. MCP server + CLI.

This repository also configures its own agents. See what axiom-advanced-math-mcp tells them →

Open on GitHub npmjs.com
2Stars on the repository
3Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
GPL-3.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

axiom-math

01

tufantunc/axiom-advanced-math-mcp

Skill Claude CodeCodex

Use when a task needs mathematics that must be exact rather than estimated — symbolic integration or differentiation, solving equations, factoring, limits, series, matrix algebra, combinatorics, or checking whether a mathematical claim is actually true. Runs a computer algebra system (Giac/Xcas) locally via a CLI, so…

not rated 2 yesterday A 74 tokens GPL-3.0