{"server":{"id":"tufantunc-axiom-advanced-math-mcp-019aef2604ac","name":"tufantunc/axiom-advanced-math-mcp","title":"tufantunc/axiom-advanced-math-mcp","description":"Offline exact symbolic math via the Giac/Xcas computer algebra system: calculus, equation solving, linear algebra, combinatorics and claim verification.","category":"Other","transport":"Local","pricing":"Unknown","website":"https://github.com/tufantunc/axiom-advanced-math-mcp","repository":"https://github.com/tufantunc/axiom-advanced-math-mcp","version":"1.0.5","manifest":"{\"name\":\"io.github.tufantunc/axiom-math\",\"version\":\"1.0.5\",\"repository\":{\"url\":\"https://github.com/tufantunc/axiom-advanced-math-mcp\"},\"remotes\":[],\"packages\":[{\"registryType\":\"npm\",\"identifier\":\"axiom-math\",\"version\":\"1.0.5\",\"transport\":{\"type\":\"stdio\"},\"environmentVariables\":[]}]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"tufantunc/axiom-advanced-math-mcp MCP server","seoDescription":"Offline exact symbolic math via the Giac/Xcas computer algebra system: calculus, equation solving, linear algebra, combinatorics and claim verification.","createdAt":"2026-11-04T07:18:56.561Z","updatedAt":"2026-11-04T07:58:36.806Z"}}