axiom-advanced-math-mcp
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. MCP server + CLI.
面向LLM的精确符号数学：通过Giac/Xcas进行积分、方程、矩阵和声明验证。MCP服务器+CLI。
How to install
npx -y axiom-math git clone https://github.com/tufantunc/axiom-advanced-math-mcp ~/.claude/skills/axiom-advanced-math-mcp Recommendation signals
Meta
- License
- GPL-3.0
- Language
- TypeScript
- GitHub stars
- 2
- mo. downloads
- –
- Last push
- 2026-09-07
- Created
- 2026-01-27
Basic safety check
- Findings
- None
- Sources
- curated:punkpeye/awesome-mcp-servers
- Topics
- advanced-mathematics, cas, claude, cli, computer-algebra, giac, llm-tools, mcp, mcp-server, model-context-protocol, scientific-computing, symbolic-math, typescript, xcas
Related plugins
dsh-mnemon
omdsh-dev/dsh-mnemon
Cross-agent, local-first persistent memory plugin for DeepSeek Harness (DSH), powered by Mnemon. It shares long-term memory across Mnemon-enabled agents and adds runtime memory, searchable project documents, semantic recall, knowledge graph, and a Sidebar UI.
markdownify-mcp
zcaceres/markdownify-mcp
A Model Context Protocol server for converting almost anything to Markdown
hindsight
vectorize-io/hindsight/tree/main/hindsight-integrations/coding-agents
Hindsight, agent memory that learns: long-term project memory with auto recall and retain, knowledge pages, deep reflection, and per-repo memory banks.
airtable-mcp-server
domdomegg/airtable-mcp-server
🗂️🤖 Airtable Model Context Protocol Server, for allowing AI systems to interact with your Airtable bases